Github is a Git hosting service.
Pull request are proposed changes from one branch to another. They are more than just changes, they are the start of a discussion.
robot:
A snippet of a release installation hosted on Github with curl and tar
ES4X='0.9.0' \
curl -sL \
https://github.com/reactiverse/es4x/releases/download/$ES4X/es4x-pm-$ES4X-bin.tar.gz \
| tar zx --strip-components=1 -C /usr/local
For Windows Operating Systems the same can be done using a zip file instead.