FAQs

I submitted a pull request for something, but somebody already submitted the same thing. What happens now?

• Whichever pull request was created first will be accepted for extra credit.

I submitted a pull request some time ago, but you haven't merged it. What's going on?

• There's only one of me and 44 of you, so it may take some time for me get around to your PR. Don't panic, if I haven't left comments or closed the PR, I probably haven't seen it.

I submitted a pull request some time ago. Changes were requested, but the PR was closed before I could make them. What happened?

• I will close PRs I've requested changes on after 5 days of no activity. In the meantime, anyone else can swoop in and steal your extra credit by making that change and submitting a new PR!