S'il y a désynchronisation upstream/gitlab, tu ajoutes le dépôt upstream comme nouveau remote sur ton dépôt local et tu fais un git pull --rebase upstream et tu pushes sur gitlab avant d'ouvrir la PR sur Github.
Je ne vois vraiment que ça comme solution... et c'est comme ça que je fais.
Being a sysadmin is easy. As easy as riding a bicycle. Except the bicycle is on fire, you’re on fire and you’re in Hell.
[^] # Re: attention détournement !
Posté par Framasky (site web personnel) . En réponse au journal FsPages : un publicateur de pages statiques pour Gitlab. Évalué à 3.
Tu peux mirrorer ton framagit vers github de façon automatique (https://contact.framasoft.org/foire-aux-questions/#git_mirroring_github). Et du coup tu ferais :
S'il y a désynchronisation upstream/gitlab, tu ajoutes le dépôt upstream comme nouveau
remotesur ton dépôt local et tu fais ungit pull --rebase upstreamet tu pushes sur gitlab avant d'ouvrir la PR sur Github.Je ne vois vraiment que ça comme solution... et c'est comme ça que je fais.
Being a sysadmin is easy. As easy as riding a bicycle. Except the bicycle is on fire, you’re on fire and you’re in Hell.