-
Committer:
Jelmer Vernooij
-
Date:
2019-07-07 00:41:49 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7371.
-
Revision ID:
jelmer@jelmer.uk-20190707004149-8hu80ii600wa4mch
Use authenticated request when requesting pull requests from GitHub; authenticated connections have a much lower rate limit.