[gentoo-dev] rsync->git mirror discontinued, repo mirror & CI updates

2015-08-13 Thread Michał Górny
Hello, everyone. The official git migration inspired some real changes in the semi- related Git mirror [1] and Repo mirror & CI [2] projects. In this mail, I'd like to shortly summarize what changed and how to proceed forward. TL;DR, short summary: 1. rsync->git mirror has been disabled and the

Re: [gentoo-dev] rsync->git mirror discontinued, repo mirror & CI updates

2015-08-13 Thread Joseph Booker
On Thu, Aug 13, 2015 at 1:42 PM, Michał Górny wrote: > Please also remember to ping package maintainers. We usually do that > through @-highlights in comments. The developers who are direct package > maintainers can be referenced directly (@mgorny), while teams and > projects can be referenced vi

Re: [gentoo-dev] rsync->git mirror discontinued, repo mirror & CI updates

2015-08-13 Thread Michał Górny
Dnia 2015-08-13, o godz. 20:28:11 Joseph Booker napisał(a): > On Thu, Aug 13, 2015 at 1:42 PM, Michał Górny wrote: > > > Please also remember to ping package maintainers. We usually do that > > through @-highlights in comments. The developers who are direct package > > maintainers can be refere