Useful Github Apps/Actions

• Keep fork up-to-date with upstream: https://github.com/wei/pull