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?