If you are a collaborator (with push permissions), you can merge any open PR with the following conditions:
- It passes the JSON validity test (this is a GitHub integration in Travis CI)
- Merge anything that adds or updates a
<user>.json
file
If you're unsure, cc @remy into the PR with a question and we can work out what to do.
The site is hosted on Heroku and will automatically deploy merges into master, which means once a PR is merged, it'll be live shortly thereafter (so there's nothing to do 🎉).
Also, thank you, your help is appreciated 💙