Hi all, Yesterday, I edited a file through the Github web interface. I read here that editing files in another user's repository through Github's interface would automatically forke the repository and submit a PR. Right now, I have the forked repository in my account, with a branch and the updates I made but can't find the PR in the owner's repository. How come? Are PRs updated on a schedule or have I done anything wrong? Thanks in advance.
... View more