
30 Sep
2016
30 Sep
'16
6:47 a.m.
Friends I have a batch of several commits lined up on my local machine, validated, and ready to push to the master. But one seems to have accidentally got diff --git a/utils/haddock b/utils/haddock index 073d899..a3309e7 160000 --- a/utils/haddock +++ b/utils/haddock @@ -1 +1 @@ -Subproject commit 073d899a8f94ddec698f617a38d3420160a7fd0b +Subproject commit a3309e797c42dae9bccdeb17ce52fcababbaff8a I did not want to meddle with Haddock. Question: how can I remove this change from my commit? I know how to do git rebase –interactive, and I can aske to “edit” that commit… but what then? Thanks Simon