Implement exercise T4L2/tags-push

[VikramGoyal23]

Exercise Review

Exercise Discussion

#63

Checklist

• If you require a new remote repository on the Git-Mastery organization, have you created a request for it?
• Have you written unit tests using repo-smith to validate the exercise grading scheme?
• Have you tested the download script using test-download.sh?
• Have you verified that this exercise does not already exist or is not currently in review?
• Did you introduce a new grading mechanism that should belong to git-autograder?
• Did you introduce a new dependency that should belong to app?

[VikramGoyal23]

The tests are implemented entirely through mocking due to the unique nature of the exercise.

[VikramGoyal23]

Fixes #63

[woojiahao]

Left some comments, but overall, the exercise structure makes sense!

[VikramGoyal23]

Thanks for the feedback. I should hopefully resolve these issues within the next 1-2 days.

[VikramGoyal23]

@woojiahao Could you review my changes?

[woojiahao]

Minor nit for formatting. The change I've suggested might affect the unit tests, so it will be good to verify that.

Could you re-run the ./test-download.sh tags-push script to ensure that all the tags have the right message?

[VikramGoyal23]

I've fixed the formatting issue and done the necessary checks- the unit tests pass and the tags have the correct message.

[jovnc]

LGTM, just some minor nits on coding standard and abstraction. The verify logic seems right to me.

[jovnc]

LGTM, just some minor nits on download.py and I think we can merge this PR

[jovnc]

@VikramGoyal23 I have helped to clean up the code using ruff format, and handled a type linting error in get_remote_tags, and also updated README to follow new format. LGTM and will be merging this PR!