Merge pull request 'chore: Fix push to origin master' (#17) from dev into master

Reviewed-on: #17
This commit is contained in:
fanantenana 2025-02-06 11:05:50 +00:00
commit 332ef5234c

View File

@ -108,16 +108,20 @@ jobs:
mv "$TEMP_CHANGELOG" "$CHANGELOG_FILE"
- name: Set remote URL
run: |
# Remplacer (ou mettre à jour) l'origin avec l'URL incluant le token
git remote set-url origin https://${{ secrets.GITEAACCESSTOKEN }}@${{ secrets.GITEAURL#https:// }}/mobiles/flutter-mobile.git
git remote -v
- name: Commit and Push Changes
run: |
git config --global user.email "gitea-actions@bot.com"
git config --global user.name "Gitea Actions"
git add pubspec.yaml CHANGELOG.md
git commit -m "chore: bump version to $NEW_VERSION+$NEW_BUILD and update changelog" || echo "No changes to commit"
git branch
git log
git remote -v
echo "🔗 Pushing to remote repository..."
git push origin /master
echo "🔗 Pushing changes..."
# Ici, on pousse la branche courante (HEAD) vers la branche master sur l'origine
git push origin HEAD:master