This project automatically generates and maintains a list of Asterinas contributors, ranked by their contribution scores, for display on the Thank You page of the official website.
This project includes datasets for contributions during different periods of time.
dataset/all_time.jsondataset/past_year.jsondataset/past_6_months.jsondataset/past_3_months.jsondataset/past_month.json
The dataset is generated by the gen_dataset.sh script.
The script is called into action by a Github Action,
which runs at scheduled intervals
to ensure that the "Thank You" page
reflects the most up-to-date results.
The script is powered by the score-and-rank-contributors tool.