On Thu, Sep 04, 2014 at 06:41:06PM -0700, W. Trevor King wrote: > If we want distributed labeling distinct from GitHub, I'm a fan of > nmbug [2], which tags email.
It's also possible that we could adapt nmbug to deploy to GitHub, using GitHub's API [1]. Then folks without label rights could edit the label repository, and submit a PR. Someone with label rights could merge that PR and push the resulting label-set to bc's issues. Maybe someone has already written something like that up, separate from nmbug. Cheers, Trevor [1]: https://developer.github.com/v3/issues/labels/ -- This email may be signed or encrypted with GnuPG (http://www.gnupg.org). For more information, see http://en.wikipedia.org/wiki/Pretty_Good_Privacy
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Discuss mailing list [email protected] http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
