@Aurélien
J’ai vu passé ce PR dans mes e-mail:
https://github.com/darktable-org/darktable/pull/1765
Mais impossible de le voir sur l’interface. Il semble que le PR soit perdu! Je pense que GitHub a connu des bugs, j’avais des comportements étranges hier. Donc peut-être devra tu re-créer un PR dans la journée…
Bizare bizare : en allant sur le GitHub darktable, puis onglet « pull request », je vois la PR, je peux cliquer dessus et ça s’ouvre bien comme https://github.com/darktable-org/darktable/pull/1765. Mais en copiant-collant l’URL dans un autre onglet, bam, erreur 404.
Bref, retrouve la PR dans la liste https://github.com/darktable-org/darktable/pulls .
Encore plus bizarre car moi je ne le vois pas dans la liste 
Idem pour moi, je le vois pas dans la liste. :s
De mon côté, je la vois correctement avec l’url, mais je ne la vois pas dans la liste…
J’ai eu toutes les peines du monde à proposer la PR. Entre 16h et 23h, hier, Github ne voulait pas me proposer l’option, et la branche source (log_profile) n’apparaissait pas sur mon dépôt. Vers 23h, j’ai finalement réussi à pousser la PR, mais toujours pas de branche visible sur mon dépôt.
Ça doit être parce que Crosoft a racheté Github, ils vont en faire un Skype bis.
Ça vient probablement de là : https://blog.github.com/2018-10-21-october21-incident-report/