1. 13 May, 2019 1 commit
  2. 10 May, 2019 7 commits
  3. 09 May, 2019 4 commits
  4. 08 May, 2019 5 commits
  5. 06 May, 2019 10 commits
  6. 03 May, 2019 2 commits
  7. 02 May, 2019 3 commits
    • Robert Knight's avatar
      Merge pull request #1087 from hypothesis/mockable-imports-part-4 · 397f27da
      Robert Knight authored
      Convert mocking to mockable imports (4/4)
      397f27da
    • Robert Knight's avatar
      Merge pull request #1099 from hypothesis/fix-changelog-script · cc58249b
      Robert Knight authored
      Fix GitHub release generation script
      cc58249b
    • Robert Knight's avatar
      Fix GitHub release generation script · 8833cb99
      Robert Knight authored
      Git has two types of tags, lightweight tags and annotated tags. Only
      annotated tags have a "tag date" associated with them. Recently it
      appears that releases have been tagged with lightweight tags rather than
      annotated tags, which the `generate-change-list.js` script did not
      handle.
      
       - When fetching the last tag, use the commit date as a fallback for the
         tag date, and bail with an error if no date can be found
      
       - Link to the HTML rather than JSON representation of a PR in release
         notes
      
       - Fix a warning about use of deprecated GitHub API pagination methods
         by switching to the pagination APIs described at
         https://octokit.github.io/rest.js/#pagination
      
       - Support running the `generate-change-list.js` script as a CLI tool
         for debugging using `node generate-change-list.js <tag name>`
      
       - Skip Dependabot PRs in the change list, as these add a lot of noise.
         Generally readers are going to be interested in non-maintenance PRs.
      8833cb99
  8. 01 May, 2019 8 commits