Forum darktable FR

@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.

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-octob...nt-report/