skill
métier
description
mis à jour
merge
Développeurs de logiciels
Create a GitHub pull request for the current branch and immediately merge it into main when safe. Use when the user wants the current branch landed quickly.
2026-04-18
pr
Développeurs de logiciels
Create a GitHub pull request for the current branch. Use when the user wants a PR opened from the current branch into main.
2026-04-18