+[2015-07-30T23:21:12Z]ldcI've cloned a repo and commited something +[2015-07-30T23:21:18Z]ldcthen pull request and it was accepted +[2015-07-30T23:21:24Z]ldccan I delete my fork now? +[2015-07-30T23:21:29Z]thibaultchaSure +[2015-07-30T23:21:45Z]ldcok thanks
+[2015-07-31T06:45:47Z]viranHello, it is possible to setup repository permissions on GitHub? Who can merge into the develop/master branch for example +[2015-07-31T06:49:32Z]GurkenglasI used the github client to clone a repository (The haskell library named free), made a change in the folder supplied to me by the client, used the client to make a commit from it, clicked on Create Pull Request in the upper right corner, Send pull request is grayed out. What do I do? +[2015-07-31T07:09:28Z]GurkenglasHow do I use the github client to turn my commit into a pull request? Clicking the Create Pull Request button has the Send pull request button greyed out with the comment "The source and destination branches are the same." +[2015-07-31T07:12:20Z]honestlyyou need to fork +[2015-07-31T07:13:41Z]honestlyyou need to fork the original repo, commit and push your changes into that repo, and then open a PR against the original repo