[Creativecommons-website-commits] [creativecommons/creativecommons.org] f1a3cd: replace circle ci with github actions

[Timid Robot Zehta]

  Branch: refs/heads/main
  Home:   https://github.com/creativecommons/creativecommons.org
  Commit: f1a3cdcfdaa30323849e873d8dc40eb7aba51c82
      https://github.com/creativecommons/creativecommons.org/commit/f1a3cdcfdaa30323849e873d8dc40eb7aba51c82
  Author: Timid Robot Zehta <timid at creativecommons.org>
  Date:   2022-05-03 (Tue, 03 May 2022)

  Changed paths:
    R .circleci/config.yml
    A .github/workflows/tidy.yml
    A tools/tidy_legalcode.sh

  Log Message:
  -----------
  replace circle ci with github actions


  Commit: 49b657921cd00ca9f194c0c277c018dbe7828bc4
      https://github.com/creativecommons/creativecommons.org/commit/49b657921cd00ca9f194c0c277c018dbe7828bc4
  Author: Timid Robot Zehta <timid at creativecommons.org>
  Date:   2022-05-03 (Tue, 03 May 2022)

  Changed paths:
    M .github/workflows/tidy.yml

  Log Message:
  -----------
  update names


  Commit: 441dbca29eda310d53bad954ded2c11acaa80cc2
      https://github.com/creativecommons/creativecommons.org/commit/441dbca29eda310d53bad954ded2c11acaa80cc2
  Author: Timid Robot Zehta <timid at creativecommons.org>
  Date:   2022-05-03 (Tue, 03 May 2022)

  Changed paths:
    R .circleci/config.yml
    A .github/workflows/tidy.yml
    A tools/tidy_legalcode.sh

  Log Message:
  -----------
  Merge pull request #1234 from creativecommons/gh-actions

replace circle ci with github actions


Compare: https://github.com/creativecommons/creativecommons.org/compare/0fbe77f8895d...441dbca29eda