"Phil Holmes" <m...@philholmes.net> writes:

> Not convinced it's worth doing.  The point of a repository is the
> ability to track change.

Well, the ability to save storage place is also nice.  And you can still
do git bisect...

> If that's of no value (and it isn't with binaries) then you might as
> well just have a set of directories: build_2_16_0, build_2_17_10 etc.

It's not like you couldn't do diff on directories, too...  That's not
the only use of a repo.

-- 
David Kastrup

_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to