I followed instructions here for changing the base branch of a pull request someone made on my repo. After changing the branch, though, the issue was closed and I don\'t think t
