Being friendly to quick contributions

General
6

Thanks for the patch. Applied. To make a pull request for a package,

  • Clone the main repo (swipl-devel.git)
  • Init the packages (using one of the ways you describe)
  • Go to the package
  • run git checkout master && git pull
  • branch: git checkout -b myfix
  • Hack away and commit

So far all is pretty normal. Now we come to the special part …

  • Fork the package at github, creating e.g. git@github.com:me/packages-clib.git
  • Run (from the clib checked out dir)
    • git remote add fork git@github.com:me/packages-clib.git
    • git push fork myfix:myfix

Now create a PR at github.

But, good old git patches are just as easy to handle for me, so what you did is perfectly fine.

The website content is in the repo plweb-www.git