Using the all-contributors bot#
Contributions can be lots of different things, and so we use All Contributors to capture a variety of contribution types. These include suggesting material, fixing broken links, organising and producing artwork. To suit our purposes weโve made slight changes to the emoji key.
All Contributors provides a GitHub bot that makes it easy to add new contributors. To use it, comment in an issue or pull-request something like:
@all-contributors please add @NatalieThurlby for eventOrganizing
The bot will then set up a pull-request (PR) to add the named person to the contributors list, and the PR will update the list of contributors at the bottom. We have an open issue that we use to call the all-contributors bot.
Some people arenโt on GitHub of course, so to add them to the contributions list you can manually edit the file .all-contributorsrc
by adding the following object to the list:
{
"login": "",
"name": "FirstName SecondName",
"avatar_url": "https://www.example.com/profile-pic.jpg",
"profile": "https://mywebsite.com",
"contributions": [
"content"
]
},
This personโs contribution will then show up the next time you use the bot to add someone to the repo.
All Contributers emoji key#
The slightly edited emoji key that we use is:
๐ (content) for submitting suggestions to the โreadingโ list (suggestions can be any medium!)
๐ฌ (question) for leading the discussion in a meeting
๐ (blog) for writing in the HackMD in a meeting
๐ (eventOrganizing) for organising
๐ค (ideas) for ideas and planning of the group
๐จ (design) for visual design (e.g. logo)
๐ (infrastructure) for infrastructure (e.g. bots, CI)
๐ง (maintenance) for repository maintenance (e.g. fixing links)