remove a page completely

[hajika]

currently, when you remove a page and then create a new one with the same name, it gets the history of the old page. There should be the option to click "remove including all history" that makes git to remove the file from all commit histories. I think it should be provided by git command:

git filter-branch --tree-filter 'rm -f $FILENAME' HEAD

However, it should be transparent to the users, that the removing of a page does currently not remove the history and that the content can be retrieved easily

[claudioc]

Mmmh, interesting. I'd file this as a bug because I guess that when you say "delete" you mean it :)

[hajika]

just recognised, its even worse when you rename a page, then the history is gone (or better, its still there when you rename the page back to the original name :)) that seems to be the limits of using the git system for a wiki...