Developers: Make sure your SSH information is up-to-date in on Github or on Codehaus Xircles and that your SSH key is available to your command-line client or IDE integration. Please also make sure that you configured your email and name properly, by issueing the following commands:

Merging pull requests from GitHub

Contributors might bring their contributions in the form of "pull requests" on our GitHub mirror. Groovy despots can merge the pull requests on GitHub through the web interface by following this proposed workflow:

Code Block

// create a new branch to test the pull request
git checkout -b test_foopatch_onto_1_8
// now you are on branch test_foopatch_onto_1_8
// let's add the git branch of the contributor as a remote
git remote add someperson git://github.com/groovy/somepersonsrepo.git
// fetch the particular commits
git fetch someperson the_branch_with_the_changes
// merge it in our test branch
git merge FETCH_HEAD
// test the changes
gradle test or gradle test
// if all tests pass, then we can safely use the web based merge UI of Github