[Grml] OT, misc git questions

[Richard Hartmann]

On Sun, Oct 19, 2008 at 16:45, T o n g <mlist4suntong at yahoo.com> wrote:

> - is it possible to amend a committed & pushed comment?

Yes, you can. It's possible to prune a git repo by basically replaying
the other commit, thus creating a new repo. You might run into
trouble as your repo will have a different commit ID somewhere
in the middle.


> - how to revoke a specific file to remote master?

No. Remote master can rebuild the repo, omitting the offending
commit, though.

As to _how_ to do this, ask git at vger.kernel.org (iirc).


Richard