Off topic...
to get a zip file for a day or so, useful, as I said, for moving between (eg virtual) machines.
git and zip are both valid and equally good solutions, targeting different groups of people.
git can download less, using --depth (but for anyone who falls into the group of "git is the suitable option" that is probably not a good start).
As for moving between virtual machines, I personally do that all the time using git.
My local git clone is at the same time remote to the VMs.
I can connect either
- via tcp/ip using git-daemon
- (read only) shared folder: git clone /shared_folder/lazarus ./new_laz_clone
And both of them allow me to quickly move changes between machines in either direction.
And if you really want to, you can even set up remotes between VMs, so if you have e.g. 4 VM (and one host) every of the 5 git clones has every of the other gits as remote (each clone has 4 remotes).
(Actually 5 remotes, since each can also have the gitlab as remote).
That works perfectly well.