Hopefully this is in the correct place, none of the other categories seemed to fit.
I recently added a tag to my repository for a computer science course. Initially, I created, committed and pushed the tag with the wrong date. I then overwrote the tag locally, deleted the tag from GitHub, and pushed my new tag. When I look at the tag however, it says that someone else added the tag, even though that person is not someone I know nor are they a contributor to the repo. Here is the tag in question:
Here is the relevant cli history:
1152 git tag -a hello-world -m “tagged for assignment due 20 Sep 2020”
1153 git push origin hello-world
1154 git tag
1155 git tag -a hello-world -m “tagged for assignment due 8 January 2021”
1156 git tag -f hello-world -m “tagged for assignment due 8 January 2021”
1157 git tag
1158 git push origin hello-world
1159 git push origin :refs/tags/hello-world
1160 git push origin hello-world
Anyone have any idea what happened here?