This extension is developed to download all the changed files in a PR of a repository at github with one click.
