Do we have an issue for changing https://docs.meltano.com/contribute/merge to cover GitHub PRs rather than merge requests?