Commit History

Author SHA1 Message Date
  Hugo Locurcio 71db8932bc Harmonize Bash command syntax for easier line selection and copy-pasting 3 months ago
  melquiadess bf596d2839 Add a section on how to checkout a PR with git 8 months ago
  Hugo Locurcio f004b1ac3d Update GitHub Actions UI workflow in Testing pull requests 1 year ago
  Max Hilbrunner 7cc873c2dd Remove duplicate the-the 1 year ago
  Yuri Sizov dbfe3b1d26 Reorganize documentation for contributors 2 years ago