latest 8 messages by flavi0
+
[2015-11-05T16:11:45Z]
flavi0
Seveas: D'uh! I had forgotten I already cloned that one at another occasion. Could really tell me that instead of "cannot be forked" :) sorry!
+
[2015-11-05T15:46:25Z]
flavi0
does GitHub have any provisions which disallow forking of a repo? I don't find anything on this, however with this particular repo I get "Cannot fork this repository". Can someone explain?
+
[2015-11-05T10:48:18Z]
flavi0
Trying to fork a repository, I get 'cannot fork this repository'. I have never seen this before and don't find anything on it on the net. What's this about?
+
[2015-03-15T09:54:26Z]
flavi0
if i issue pull requests, can upstream decide where to merge them? i.e. if i create a local feature branch based on master, can upstream via the web interface decide wether he wants to merge into master or into an equivalent feature branch?
+
[2015-03-13T15:00:47Z]
flavi0
ok, who's allowed to create milestones for a github repo? only the owner? can i allow contributors to create milestones?
+
[2015-03-13T12:48:14Z]
flavi0
my username question is resolved by switching to the ssh repo url instead of the anonymous https. everything fine now. happy hacking!
+
[2015-03-13T12:20:24Z]
flavi0
ok, ez. just use an entry in .ssh/config with Host github.com and IdentityFile ~/.ssh/id_rsa.github.
+
[2015-03-13T12:03:28Z]
flavi0
hi. i want to use a dedicated ssh key for github. i generated the key in ~/.ssh/id_rsa.github[.pub] and uploaded that public key on the webpage. now how can i make the standard git client 1. pick that key and 2. use the right username per default?