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

publish git-tags for releases #293

Open
Piraty opened this issue Dec 8, 2022 · 2 comments
Open

publish git-tags for releases #293

Piraty opened this issue Dec 8, 2022 · 2 comments

Comments

@Piraty
Copy link

Piraty commented Dec 8, 2022

hi,

please push tags corresponding to your releases, distro packagers [1] will have a better life ;)
#184 seems to have had this in mind, yet there no tags since 3.5y

[1] void-linux/void-packages#38461

@M4rtinK
Copy link
Owner

M4rtinK commented Dec 9, 2022

Sure, that should really be there. :P Might as well create proper releases when I'm at it. Hopefully in the next few days I should be able to get to it. :)

@Piraty
Copy link
Author

Piraty commented Dec 11, 2022

a git push --tags or similar from your CLI would suffice (or use the designated make target)

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

No branches or pull requests

2 participants