Hi,
Just abusing our people's talent a bit here, :-).
Quick questions on the git:
- is it possible to amend a committed & pushed comment? - how to revoke a specific file to remote master?
thanks
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
Thanks Richard,
On Sun, 19 Oct 2008 21:32:37 +0200, Richard Hartmann wrote:
- how to revoke a specific file to remote master?
No. Remote master can rebuild the repo, omitting the offending commit, though.
sorry that I didn't make it clear. I meant, having realized that a change I shouldn't have made, how to revoke the file to the original stage, to the same version as the remote master version, but just this specific file?
thanks
On Mon, Oct 20, 2008 at 22:16, T o n g mlist4suntong@yahoo.com wrote:
sorry that I didn't make it clear. I meant, having realized that a change I shouldn't have made, how to revoke the file to the original stage, to the same version as the remote master version, but just this specific file?
Unless a commit was for one file only, there is no trivial way to do so. Create a branch, revert to the state you want, copy the file to somewhere, go back to the other branch, copy back the file, commit and prune the other branch...
Richard
Teilnehmer (2)
-
Richard Hartmann -
T o n g