Do you have any sources for this information? We’ve been relying on the pull/*/merge thing for years, but have observed some weird behavior occasionally.
↧
Comment on Building GitHub pull requests with TeamCity by Dennis Doomen
↧