Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
@joaomlourenco
joaomlourenco committed Oct 16, 2024
2 parents cd67a80 + 9b8c02b commit 68d9648
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -219,7 +219,7 @@ define mtp
git checkout main
git pull
git merge -m "Merge branch 'develop'" develop
git tag -a "v$(VERSION)" -m "Version $(VERSION)."
git tag -f -a "v$(VERSION)" -m "Version $(VERSION)."
git push --all
git push --tags
git checkout develop
Expand Down

0 comments on commit 68d9648

Please sign in to comment.