Correction: New GitHub labels for pull request and issues - 24 hour grace period

[Dr. Matthias St. Pierre]

One small error happened w.r.t. branch labels: they are

*Branch labels*

    [branch: master]
    [branch: x.y.z]