The nixpkgs manual is already way too long and unfocused. I don\u2019t want to add to that.     We should maybe document the GitHub permissions thing somewhere, but this isn\u2019t the doc section to do it. 