GitHub should fix the pull-request workflow, not the designjulien.danjou.info2 pointsAissen13 years ago