GitHub should already know about that, is a label useful? It will always be at
least a bit out of date too.
Dnia 27 listopada 2015 11:56:04 CET, Matthias Beyer <m...@beyermatthias.de>
napisał(a):
>On 27-11-2015 11:37:54, Pascal Wittmann wrote:
>> On 11/22/2015 11:06 PM, Nicolas Pierron wrote:
>> > I invite other contributors to join me on this triaging effort,
>such
>> > that this system is not only made for me.
>>
>> I have just added the label "2.status: merge conflict", to indicate
>> which PRs are unmergable.
>>
>
>We could write a bot for such trivial things.
>Maybe there's also one available somewhere...
>
>--
>Mit freundlichen Grüßen,
>Kind regards,
>Matthias Beyer
>
>Proudly sent with mutt.
>Happily signed with gnupg.
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>nix-dev mailing list
>nix-dev@lists.science.uu.nl
>http://lists.science.uu.nl/mailman/listinfo/nix-dev
--
Wysłane za pomocą K-9 Mail.
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev