Skip to content

allow to push git tags to remote. fixes #7880 - #7888

Merged
hansva merged 1 commit into
apache:mainfrom
bamaer:7880
Aug 12, 2026
Merged

allow to push git tags to remote. fixes #7880#7888
hansva merged 1 commit into
apache:mainfrom
bamaer:7880

Conversation

@bamaer

@bamaer bamaer commented Aug 11, 2026

Copy link
Copy Markdown
Contributor

Please add a meaningful description for your change here


Thank you for your contribution! Follow this checklist to help us incorporate your contribution quickly and easily:

  • Run mvn clean install apache-rat:check to make sure basic checks pass. A more thorough check will be performed on your pull request automatically.
  • If you have a group of commits related to the same change, please squash your commits into one and force push your branch using git rebase -i.
  • Mention the appropriate issue in your description (for example: addresses #123), if applicable.

To make clear that you license your contribution under the Apache License Version 2.0, January 2004
you have to acknowledge this by using the following check-box.

@hansva hansva added this to the 2.20 milestone Aug 11, 2026
@hansva
hansva marked this pull request as draft August 11, 2026 13:00
@hansva
hansva marked this pull request as ready for review August 12, 2026 14:34
@hansva
hansva merged commit 2aac58b into apache:main Aug 12, 2026
3 checks passed
@github-actions github-actions Bot removed this from the 2.20 milestone Aug 12, 2026
jefersonminatozaki pushed a commit to jefersonminatozaki/hop that referenced this pull request Aug 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants