...
- Find the comment in the issue that should be pinned to the top, and then pin it.
- Update the value of the "Actual: " milestone in the issue's description, for example, with "2019-02-12-A".
- Update the version of the issue to the version of this release, for example "1.3.8".
- Update the milestone of the issue to "---------" (none).
...