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 [[Json.tl.ph]].
   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]]