19 Okt
2008
19 Okt
'08
21:32
On Sun, Oct 19, 2008 at 16:45, T o n g mlist4suntong@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@vger.kernel.org (iirc).
Richard