We are using Github, and its associated issue tracking system (ITS). We reference the issue id in the ITS in the commit message, linking the ITS and the commits. Since I had confused many issue ids in the commit messages of commits that were already pushed, I had to "rewrite history" in my Git repository. Everything went smooth, and I force-pushed my changes to Github.
I was hoping that the links from the issue in the ITS to the old commits (which are not visible with git log
anymore) would be updated, and changed to the new commits that reference them. Unfortunately, they were not. Even though the commit from the issue does not exist anymore in the repository, it is still referenced from the issue's website on Github. The commit that is referenced, however, does not show up in a normal git log
. I am a bit puzzled as to the fact that I can, in fact, git checkout <old_commit>
, even though there is no evidence of this commit having ever existed in the log.
Is there a way to trigger a complete new repository-read-in on Github, or can I somehow manually edit the linked commits? Additionally, there is no link to the new commits from the issue.
I found a related help page from Github, but that only suggested to me that from the git push onwards, Github would handle everything itself: https://help.github.com/articles/can-i-delete-a-commit-message
Thank you!