gitman
gitman copied to clipboard
default to "HEAD" revision
Not every repo has a main or master, but they all have a HEAD. Also make sure that every Source has a rev
The changes to __post_init__ also have the happy side effect of removing the need to define a rev if the source should point to main/master.