push-tags-test

1. Created the repository
2. Cloned the repo on the local machine.
3. Modified the README file, commited the changes and pushed the commit.
4. Created tag "dev": git tag dev
5. Pushed tags: git push --tags
6. Modified the README file, commited the changes and pushed the commit.
7. Deleted tag "dev" , created it again and pushed tags:

git tag -d dev
git tag dev
git push --tags