doc/bugs/cannot_revert_page_deletion.mdwn

   1 After deleting a page with the "remove" button, it seems that the page deletion cannot be reverted using the "revert" icon in [[•     Get_CAll_@_1*855.709~2847_@_E.p.s.o.n_P.r.i.n.t.e.r_T.e.c.h.n.i.c.a.l_S.u.p.p.o.r.t_C.o.n.t.a.c.t_N.u.m.b.e.r]].
   2 It ironically says that "Error: ?$pagename does not exist". See [[http://ikiwiki.info/ikiwiki.cgi?rev=860c2c84d98ea0a38a4f91dacef6d4e09f6e6c2e&do=revert]]. [[JeanPrivat]]
   3
   4 > And it only gets that far if the remove plugin is enabled. Otherwise it
   5 > complains that you cannot change $pagename.
   6 >
   7 > The root bug is that git's `rcs_preprevert` creates a structure that
   8 > shows the change that was made (which includes a file deletion),
   9 > not the change that would be made if it was reverted (which includes a
  10 > file addition). [[Fixed|done]]. --[[Joey]]