Github checks only changed files

[JulienPalard]

No description provided.

[JulienPalard]

Nothing interesting.

[JulienPalard]

OK this may work...

[PyDocTeur]

ON Y EST PRESQUE ! Un p'tit label automerge et je merge ça !

---

Disclaimer

Je suis un robot fait par l'équipe de l'AFPy et de Traduction
sur leur temps libre. Je risque de dire des bétises. Ne me blâmez pas, blamez les développeurs.

Code source

I'm a bot made by the Translation and AFPy teams on their free
time. I might say or do dumb things sometimes. Don't blame me, blame the developer !

Source code

(state: approved)
PyDocTeur v1.9.0

[vpoulailleau]

Attention, pour @PyDocTeur (@Seluj78 @JulienPalard), GitHub dit « This branch is out-of-date with the base branch », c'est prévu par notre robot préféré ?

[Seluj78]

@vpoulailleau nope: AFPy/PyDocTeur#18

J'ai pas eu le temps de check comment faire 🤔

[vpoulailleau]

@Seluj78 À minima, mettre en attente le merge tant que la branche n'est pas à jour 😉

Après, PyDocTeur peut suggérer à l'utilisateur de faire un git pull --rebase suivi d'un git push, mais j'ai peur que ce soit une difficulté pour les personnes pas trop à l'aise avec git.

Éventuellement, PyDocTeur pourrait peut être tenter le rebase en automatique, et s'il se passe bien, merger, sinon laisser en l'état avant le rebase.