latest 20 messages by disi

+ [5 years ago] disi how do i enable branch protection for 2 disparately named branches? i've tries `master|other` and `{master,other}`
+ [5 years ago] disi anyone know how to style a dropdown summary in github-flavored markdown?
+ [8 years ago] disi i have a pull request that creates a file. im having it reviewed, and i need to rename the file. if i rename the file and force-push, will it save the existing reviews?
+ [8 years ago] disi how do i view file mode on the github website?
+ [8 years ago] disi this seems particularly relevant https://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
+ [8 years ago] disi maybe... tho the one that isnt showing up was configured first
+ [8 years ago] disi (i should say "the bar that tells you what languages are used in the project")
+ [8 years ago] disi Dougie187: one shows the colored language bar and one doesnt, that's really the only difference i can detect
+ [8 years ago] disi the github appliance must be able to tell the difference
+ [8 years ago] disi not sure, all it says is: "As with a bare clone, a mirrored clone includes all remote branches and tags, but all local references will be overwritten each time you fetch, so it will always be the same as the original repository."
+ [8 years ago] disi actually looks like the only difference is whether i `git clone --mirror` or `git clone --bare`
+ [8 years ago] disi Dougie187: ya it shows up on one mirror (https://help.github.com/articles/duplicating-a-repository/#mirroring-a-repository) but not the other (https://help.github.com/articles/duplicating-a-repository/#mirroring-a-repository-in-another-location)
+ [8 years ago] disi something must be different about the way i pushed
+ [8 years ago] disi still baffled about the lang bar tho
+ [8 years ago] disi interesting... so im starting to think mirrors arent going to buy us anything
+ [8 years ago] disi Dougie187: ya, there needs to be a post-receive hook on the original right? which is a problem if the owner of the real github project doesnt have access to our enterprise instance
+ [8 years ago] disi also, i dont understand why the language bar appears on one of the mirrors (the one from the first method on https://help.github.com/articles/duplicating-a-repository/) and not on the other
+ [8 years ago] disi tobiasvl: github.com as opposed to our internal github enterprise instance
+ [8 years ago] disi if we need to make changes, it shouldnt be a problem to PR them on the real github
+ [8 years ago] disi ok, now im confused. the point of mirroring would be to automatically receive new commits from the real github