On Tue, 2018-09-18 at 17:55 +0200, Daniel Gruno wrote: > One thing to note; For GitHub repos, you will need to specify a > user/pass if you want github issues/PRs to be looked at - this can be > an > anonymous account if you like. I'll see if I can't work our regular > kibble user into the repos you added, assuming you did not specify > any user.
Interesting, I did not know that (maybe add it as a hint on the page?). I did not specify any user as I saw no need :-) - GitHub repos are public but it would be interesting to see PR information as well. Thanks, Robert
