Hi, What is the procedure to follow when submitting changes? Some send a patch, but I also see the term "pull request" used a lot. Does it mean that I could have an account on GitHub, and then just announce the changes I make, so that they could be "pulled" by others ?
yours, Lars Bro _______________________________________________ click mailing list [email protected] https://amsterdam.lcs.mit.edu/mailman/listinfo/click
