On Thursday, February 18, 2016 at 10:06:54 PM UTC+1, Jens wrote:
>
> I noticed that the Github issue tracker has a large number of labels and
> IMHO most of them are not used anymore. If time permits I thought about
> cleaning labels up so its more streamlined:
>
> - Convert Milestone labels to
>
> Feel free to get a patch up for review in Gerrit if you have time, I'll
> review it. Question: do we put those in a .github/ folder or directly at
> the repo root (next to the README)?
>
I would put issue/pull request templates into .github/ and a possible
contributing.md on the root. Some
On Friday, February 19, 2016 at 12:50:42 PM UTC+1, Jens wrote:
>
> Feel free to get a patch up for review in Gerrit if you have time, I'll
>> review it. Question: do we put those in a .github/ folder or directly at
>> the repo root (next to the README)?
>>
>
> I would put issue/pull request tem
