summaryrefslogtreecommitdiff
path: root/sys/man/4/gitfs
AgeCommit message (Collapse)Author
2022-11-28gitfs(4): clean up junk in manpageOri Bernstein
2022-09-06git(1), gitfs(4): fix style and typos (thanks schwindl)Ori Bernstein
2021-06-22git/fs: use a better heuristic for permissions.Ori Bernstein
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-14python, hg: tow outside the environment.Ori Bernstein
they've served us well, and can ride off into the sunset.
2021-05-30git/fs: move mount point to $repo/.git/fsOri Bernstein
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-16git: got git?Ori Bernstein
Add a snapshot of git9 to 9front.