+ [2016-10-18T17:40:03Z] nedbat Seveas: hmm, if I have to know the branch name, I could just checkout the branch, couldn't I?
+ [2016-10-18T17:45:31Z] Seveas pull requests only have a branch name in the forked repo, not in the original
+ [2016-10-18T20:26:25Z] SpComb One of our mostly harmless robots seems to think you are not a human.
+ [2016-10-18T20:26:29Z] SpComb is it just me?
+ [2016-10-18T20:26:48Z] SpComb was trying to edit the wiki on my project and the "New Page" button broke (HTTP 404), not sure if related or not

message no. 153670

Posted by apo in #github at 2016-10-18T08:43:59Z

or you could push -f
+ [2016-10-19T01:09:26Z] Geo If I have a file like .travis.yml , is there a way I can exclude that from git clones or downloads?
+ [2016-10-19T01:56:35Z] llamapixel Geo: You want a git ignore file? https://github.com/github/gitignore
+ [2016-10-19T02:11:47Z] Geo llamapixel: I think the gitignore prevents files on the local repo from being pushed?
+ [2016-10-19T02:13:50Z] Geo I'm looking for the opposite- things like .travis.yml that aren't part of the formal source distribution, but still needed to be stored in the GH repo, in this case for CI purposes
+ [2016-10-19T02:16:29Z] llamapixel Maybe you want something like sparse checkout Geo but I have not enough experience with it.