Pushing an --amend-ed commit

[Robert Haines <rhaines@manchester.ac.uk>]

Hi list,

The other day I did the classic:

1) Right, changes all done and committed. Push to public repo.
2) Bugger, missed out an obvious one-liner in a Makefile. Make change  
and --amend that last commit.
3) Push to public repo again... Ah, "Not a strict subset" error, can't  
push...

It's obvious (I think) to me why I get this error - the commit now has  
a different hash so it looks like it would be the wrong thing to do to  
allow the push as far as git is concerned. Right?

So, is it safe to "use the --force" in this instance when pushing?  
This should just replace the old commit with the --amended commit with  
no side-effects, shouldn't it?

Thanks,
Rob

-- 
Robert Haines

Research Associate, RealityGrid          Tel. : +44 (0)161 275 6067
Research Computing Services              Fax. : +44 (0)161 275 0637
University of Manchester                 Email: rhaines@manchester.ac.uk
Oxford Road                              Web  : www.realitygrid.org
Manchester, M13 9PL, UK                       : www.rcs.manchester.ac.uk