Show HN: GitHub – Specify that a PR must be merged after another PR