Ryan Burns 9d9bfa0a72 Update name of main branch in CI and docs (#161) ... The name of the main branch is now "main". Documentation and CI scripts are updated accordingly. Co-authored-by: Ryan Burns <rtburns-jpl@users.noreply.github.com>		2020-07-17 09:10:33 -07:00
..
config.yml	Update name of main branch in CI and docs (#161)	2020-07-17 09:10:33 -07:00