4 commits

Author	SHA1	Message	Date
Ori Bernstein	b904edadd8	git/fs: use a better heuristic for permissions. ... Since we now store /dist/plan9front in git, the initial assumption that the owner of the repo is the person touching it is not always true. This change gives us a better heuristic for the file permissions we should have in the files we copy around, basing it off of the permissions of the .git directory.	2021-06-22 23:55:54 +00:00
Ori Bernstein	a73a964e51	python, hg: tow outside the environment. ... they've served us well, and can ride off into the sunset.	2021-06-14 00:00:37 +00:00
Ori Bernstein	12e952e684	git/fs: move mount point to $repo/.git/fs ... Moving the mount point to within the repo directory means that we can have multiple git repos mounted at once with no conflict.	2021-05-30 17:46:21 -07:00
Ori Bernstein	1ee1bfaa8c	git: got git? ... Add a snapshot of git9 to 9front.	2021-05-16 18:49:45 -07:00