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

[TECH] Simplifie le push du tag #95

Merged
merged 2 commits into from
Mar 15, 2022
Merged

[TECH] Simplifie le push du tag #95

merged 2 commits into from
Mar 15, 2022

Conversation

francois2metz
Copy link
Contributor

🦄 Problème

L'étape de push est en 2 étapes, d'abord le commit avec le changement de version + changelog et ensuite le nouveau tag. Comme on utilise un tag annoté, on peut tout faire en une seule étape.

🤖 Solution

Le flag --follow-tags permet de pusher l'ensemble des nouveaux tag annoté qui sont associé a/aux commit pushé.

💯 Pour tester

TBD

@francois2metz francois2metz added cross-team Toutes les équipes de dev Tech Review Needed labels Jan 25, 2022
@francois2metz francois2metz self-assigned this Jan 25, 2022
Copy link
Contributor

@aceol aceol left a comment

Choose a reason for hiding this comment

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

Cool!

@github-actions github-actions bot merged commit a913747 into main Mar 15, 2022
@github-actions github-actions bot deleted the tech-push-tag branch March 15, 2022 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cross-team Toutes les équipes de dev 🚀 Ready to Merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants