[07:22:25] I think you can only push if you have permissions on the repo you cloned. [07:25:50] I forked a (non-GF) repo then branched the upstream/master, worked on it, tried pushing it, but couldn't, even though I had forked the repo. [07:28:21] I think I then checked out origin/master again and was able to push to my own fork, with git push origin newbranch [07:28:51] What were they thinking when they decided to move from darcs to github? [09:19:56] if you have a fork of a repo on github you can send a pull request. the owner then can decide to take over the changes [13:54:21] *** Joins: proteus-guy (~proteusgu@14.207.176.91) [13:57:44] *** Quits: proteusguy (~proteusgu@183.88.186.17) (Ping timeout: 256 seconds) [15:23:33] *** Joins: idaroermann (3ec62de0@gateway/web/freenode/ip.62.198.45.224) [15:24:47] Hi there! I have a question related to contributing to GF on GitHub. I have something to commit to gf-contrib . I cloned the repository and now have a gf-contrib folder , and then edited some files (2) in here. I cannot just push it, since I need to make a pull request first. My git status is On branch master Your branch is ahead [15:50:09] *** Quits: idaroermann (3ec62de0@gateway/web/freenode/ip.62.198.45.224) (Ping timeout: 260 seconds) [16:13:01] I would fork it and then clone my fork. https://help.github.com/articles/creating-a-pull-request-from-a-fork/ [16:13:18] Oh, idaroermann has gone again. [17:05:42] I emailed her [17:06:00] such a shame that I miss the rare student who actually shows up ;_; [17:06:11] but yesterday I was at musical rehearsal and today supervising an exam