v0.9.0

Changes

• setup: Ask the user for another note if the current is taken (#133)

  It is not possible to retrieve the OAuth token anymore using the GitHub API,
  so instead of doing that, we ask the user to create a new token if the
  default one is already used.

• pull rebase: Add --delete-branch option (#129)

  When this option is used, the branch used to make the pull request from will
  be deleted after rebasing the pull request.

• man page improvements (#131, #126)

  Describe the missing global options and add a FILES section mentioning
  files used to keep, for example, the messages typed by the user.

• Fix --pause resuming (#132)