aboutsummaryrefslogtreecommitdiffstats
path: root/skein-infra (follow)
Commit message (Collapse)AuthorAgeLines
* skein-infra: Rename mount point to repos.availWynn Wolf Arbor2020-05-28-4/+4
| | | | | | | | Users might easily confuse the per-instance repos/ directory with the mount point that contains all available repositories for a given user. Therefore, be more clear about the purpose of the mount point and rename it.
* skein-infra: Rename instances/ to home/Wynn Wolf Arbor2020-05-28-3/+3
| | | | | | The instances/ directory does not directly contain user instances (but instead directories for each user owning at least one instance), so use home/ as a more fitting name.
* cgit-chroot: Rename to skein-infraWynn Wolf Arbor2020-05-27-0/+77
Be more clear about the purpose of this script and rename it to "skein-infra" since users might expect a program carrying "chroot" in its name to enter or otherwise manage a chroot. Additionally, use a consistent format for the environment variables controlling the locations of the cgit chroot and git repositories.