Third-party projects imported from GitHub

Clone this repo:
  1. 19f5aa0 Modify access rules by Jan Kundrát · 3 years, 10 months ago
  2. 9783c1b Modify access rules by Jan Kundrát · 3 years, 10 months ago
  3. 664e8ba Modify access rules by Jan Kundrát · 3 years, 10 months ago
  4. 20989d6 github: Allow all CzechLight devs to push stuff to branches below czechlight/* by Jan Kundrát · 3 years, 10 months ago
  5. 01df72b Modify access rules by Jan Kundrát · 4 years, 1 month ago
  6. 85c5317 Created project by gerrit-project-creator · 7 years ago