latest 20 messages by disi
+
[2019-10-15T22:45:22Z]
disi
how do i enable branch protection for 2 disparately named branches? i've tries `master|other` and `{master,other}`
+
[2019-10-03T01:53:22Z]
disi
anyone know how to style a dropdown summary in github-flavored markdown?
+
[2016-12-20T17:46:24Z]
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?
+
[2016-12-19T20:36:38Z]
disi
how do i view file mode on the github website?
+
[2016-11-21T21:23:49Z]
disi
this seems particularly relevant https://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
+
[2016-11-21T20:30:01Z]
disi
maybe... tho the one that isnt showing up was configured first
+
[2016-11-21T20:28:09Z]
disi
(i should say "the bar that tells you what languages are used in the project")
+
[2016-11-21T20:25:51Z]
disi
Dougie187: one shows the colored language bar and one doesnt, that's really the only difference i can detect
+
[2016-11-21T20:24:06Z]
disi
the github appliance must be able to tell the difference
+
[2016-11-21T20:23:34Z]
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."
+
[2016-11-21T20:22:29Z]
disi
actually looks like the only difference is whether i `git clone --mirror` or `git clone --bare`
+
[2016-11-21T20:21:29Z]
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)
+
[2016-11-21T20:20:49Z]
disi
something must be different about the way i pushed
+
[2016-11-21T20:20:22Z]
disi
still baffled about the lang bar tho
+
[2016-11-21T20:19:56Z]
disi
interesting... so im starting to think mirrors arent going to buy us anything
+
[2016-11-21T20:19:41Z]
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
+
[2016-11-21T20:17:35Z]
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
+
[2016-11-21T20:15:22Z]
disi
tobiasvl: github.com as opposed to our internal github enterprise instance
+
[2016-11-21T20:15:02Z]
disi
if we need to make changes, it shouldnt be a problem to PR them on the real github
+
[2016-11-21T20:14:44Z]
disi
ok, now im confused. the point of mirroring would be to automatically receive new commits from the real github