Open Veykril opened 2 years ago
bors ping
Ye I think we'll have to ping the bors-ng guys again for the rest of the r-a repos to work.
bors ping