Do we still need these explicit pull request link comments. IMO everything gets nicely listed and linked automatically under the development section on the right side.