When adding a new contributor to the project using @all-contributors please add @user for docs, the user's name is appended to the end of the contributors array in the .all-contributorsrc file. This is problematic because two separate PRs will likely conflict, as they are both modifying the same part of the file.

We may be able to work around this using the contributorsSortAlphabetically option, which appears to be supported by both the CLI and the GitHub bot:

• https://allcontributors.org/docs/en/bot/configuration
• https://allcontributors.org/docs/en/cli/configuration

cc @github/docs-engineering @janiceilene