[Design Team] #481: Pagure migration