On 5/11/2013 5:49 PM, Borden wrote: > Further, after I've done my changes, what's the procedure to get my changes > merged with GitHub? Generate a "pull request". There's plenty of tutorials on it if you google the phrase.