anchor.diff:  These branches should have the prefix `features/` to indicate they are either
   not complete or have not been scheduled for the next minor release.
   
  -Every issue, no matter how small, gets its own branch while under development. Issue branch names are always prefixed with `issues/`, followed by the issue number in the GitHub issue tracker, followed by one or two dash-separated keywords for the issue.
  +Every issue, no matter how small, gets its own branch while under development.
  +The milestone label of the issue is set to the *planned* release version for the
  +issue, but that could change by the time a PR is merged.
  +Issue branch names are always prefixed with `issues/`, followed by the issue number in the GitHub issue tracker, followed by one or two dash-separated keywords for the issue.
   
   For example: `issues/#276-rdfxml-sax` is the branch for a fix for GitHub issue https://github.com/eclipse/rdf4j/issues/276[#276], which has to do with RDF/XML and the SAX parser.
   
  
positive.code: 4. Peers and project committers now have a chance to review the PR and make suggestions.
  5. Any modifications can be made to the _issue_ branch as recommended.
  6. Once any necessary changes have been made, project committers can mark the PR as approved.
  7. Project committers should then determine what patch release this fix will be included in by updating the milestone label.
  8. Only when a Pull Request is approved *and* scheduled for the next patch release it should be merged
  into the _master_ branch then
  9. the issue branch can be delete (if desired).
  
negative.code: branch is deleted.
  
  IMPORTANT: It is important that only features and fixes that have already been scheduled
  for release (via PR milestone labels) be merged into the _develop_ branch, so
  that there is no confusion as to what will be included in the next minor release.
  
  The steps to create a minor release are very similar to the patch release
  steps, but are based on the _develop_ branch (not the _master_ branch).
  