Release Process

1. Checkout the most recent code: git fetch upstream && git checkout upstream/master
2. Generate the ZIP files: gulp publish
3. Create the release on GitHub:
   1. Navigate to https://github.com/mozilla/pdf.js/releases/new.
   2. Call the release and tag v{version} and insert the version from the name of the ZIP file.
   3. Attach the ZIP files from the step above.
   4. Include the release notes:
      1. Clone https://github.com/brendandahl/pdf.js.utils.
      2. Run python2 release.py {last_pr_number}, where {last_pr_number} is the last PR number (without hash) in the release notes of the existing release.
   5. Verify that the latest tag is updated on NPM and that pdfjs-dist got a new commit. This may take some time.
4. Update pdfjs.config:
   1. Bump the major/minor version number of the versionPrefix.
   2. Bump the stable version number.
   3. Set baseVersion to the commit ID of the merge commit.