[Design-team] GitHub & Pagure.io