Closed wenovus closed 7 months ago
Hmm, why two commits have the same message (93fcdf7 and 9cb5f87)?
Hmm, why two commits have the same message (93fcdf7 and 9cb5f87)?
I first pushed 93fcdf7 but then ran git commit --amend
locally in my fork, forgetting I already pushed, and that caused a conflict when I tried to push a new commit, which is resolved by the subsequent merge.
I've fixed the history via a force push now.
pushed, thanks!
This is intended to have the same behaviour as these OpenConfig paths: