Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Push only specified tag #5

Merged
merged 1 commit into from
May 6, 2020
Merged

Push only specified tag #5

merged 1 commit into from
May 6, 2020

Conversation

DocX
Copy link
Contributor

@DocX DocX commented May 4, 2020

Running git push --force --tags will push all tags in local repo. If your repository have multiple tags, this may cause problem

Instead run specifically push for the tag that is being updated with git push --force origin ${tagName}

Running `git push --force --tags` will push all tags in local repo. If your repository have multiple tags, this may cause problem

Instead run specifically push for the tag that is being updated with `git push --force origin ${tagName}`
@EndBug EndBug added the type: feature New feature or feature request label May 4, 2020
Copy link
Owner

@EndBug EndBug left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you, seems like a good idea: I'll merge soon

@EndBug EndBug merged commit f613784 into EndBug:master May 6, 2020
@EndBug
Copy link
Owner

EndBug commented May 6, 2020

This fix has been published in v1.3.1 (which you can get also with the v1 and latest refs).
Thanks for the PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: feature New feature or feature request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants