Skip to content

History / Pull request guidelines

Revisions

  • Follow the change of the default branch: master -> main

    @yoichi yoichi committed Feb 28, 2023
  • Add "Pull request guidelines"

    @tarsius tarsius committed Mar 26, 2022