Skip to content

Milestones

List view

  • The goal of this milestone is to ensure that the GitHub webpage contains up-to-date information on all team members, including their roles, profiles, and contributions. This will involve gathering details from each team member, updating the webpage design as needed, and ensuring all information is accurately reflected.

    Overdue by 1 year(s)
    Due by November 1, 2024
    0/1 issues closed
  • Ban direct push to master branch, add Travis CI to check pull requests automatically

    Overdue by 5 year(s)
    Due by May 24, 2020
  • No due date
    1/1 issues closed