On 03/01/2016 12:35 AM, Herwig Hochleitner wrote: > For me, whenever I have to use github, I'm like "ugh, why can't i use magit
You can fetch the PRs as branches; the refspec is refs/pull/*/head. Then, if you merge them into master by hand, the github PR will auto-close. You can't well see the comments anywhere AFAIK, but for the rest you can use your favorite git workflow. I don't use the button myself. --Vladimir
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
