1. 17 Oct, 2022 19 commits
  2. 14 Oct, 2022 1 commit
  3. 13 Oct, 2022 2 commits
  4. 12 Oct, 2022 2 commits
  5. 11 Oct, 2022 6 commits
  6. 10 Oct, 2022 4 commits
  7. 06 Oct, 2022 4 commits
  8. 05 Oct, 2022 2 commits
    • Jérome Perrin's avatar
      software/ors-amarisoft: rename json templates for git pre-commit hook · 776d4d77
      Jérome Perrin authored
      When using pre-commit hook (the one installed by using `npm install`
      from the root of the repository), all .json files are checked to be
      valid json and formatted according to the ./format-json rules.
      
      These templates were problematic for this script because they are not
      really valid json, so name them .json.jinja2 instead of .jinja2.json so
      that they are not selected by the pre-commit hook
      776d4d77
    • Lu Xu's avatar
      Update git revisions · 87c6b653
      Lu Xu authored
      87c6b653