Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

fix: Specify git remote when pushing the tag #331

Merged
merged 2 commits into from
Apr 12, 2024
Merged

fix: Specify git remote when pushing the tag #331

merged 2 commits into from
Apr 12, 2024

Conversation

fuzzypixelz
Copy link
Member

While git push pushes the current branch into its remote, git push <tag> doesn't push the tag.

@fuzzypixelz fuzzypixelz force-pushed the fix/release-workflow branch from d064109 to 3c4f8c6 Compare April 12, 2024 10:19
@milyin milyin merged commit 817fe38 into eclipse-zenoh:main Apr 12, 2024
6 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@milyin milyin milyin approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fuzzypixelz @milyin