Thinking about a way to skip this test, maybe you already thought about this: but maybe we could enable this by introducing some special tag in one of the commits that are part of the pull request? We anyway have to do a diff between master trunk and the current branch to check if the debian/changelog is present - we could check the git commit messages of all missing commits as well. If one forgets to push it with some of his/hers commit, it can always be forced with an empty commit with git commit --allow-empty and just adding the 'special tag'.
This is still not perfect as it would leave this message tag in the git commit history, but I don't think that's so bad. All other choices would involve poking github in some way, to maybe get all the comments from the PR and scanning those. But for this I'd have to check if github exports any simple API we could reach out to...
Thinking about a way to skip this test, maybe you already thought about this: but maybe we could enable this by introducing some special tag in one of the commits that are part of the pull request? We anyway have to do a diff between master trunk and the current branch to check if the debian/changelog is present - we could check the git commit messages of all missing commits as well. If one forgets to push it with some of his/hers commit, it can always be forced with an empty commit with git commit --allow-empty and just adding the 'special tag'.
This is still not perfect as it would leave this message tag in the git commit history, but I don't think that's so bad. All other choices would involve poking github in some way, to maybe get all the comments from the PR and scanning those. But for this I'd have to check if github exports any simple API we could reach out to...