+ [8 years ago] Dougie187 Maybe it'll show up in both cases.
+ [8 years ago] Dougie187 I don't know why it would be different in either case for that.
+ [8 years ago] Dougie187 I'd guess it just takes some time for the server to analyze all of it?
+ [8 years ago] disi maybe... tho the one that isnt showing up was configured first
+ [8 years ago] disi this seems particularly relevant https://stackoverflow.com/questions/11370239/creating-an-official-github-mirror

message no. 157185

Posted by Vinnie_win in #github at 2016-11-21T17:37:16Z

I mean, Boost packages for Linux
+ [8 years ago] bderrly is it possible to change the head branch of a pull request or do i need to close the request and open a new one?
+ [8 years ago] kspencer for webhooks, how would one get the user that starred the repo
+ [8 years ago] gmn8719 I submitted a pull request and it was accepted. It was suggested that I could delete my branch. Do they mean on the fork I created? If so, should I also update the fork as well? If so, how do I do that?
+ [8 years ago] xall i want to add a log file to reference in a pr request i'm submitting. when i try to add a .log file, github errors saying it only accepts filetypes blahblah. what's the proper way to do this?