Pinned

1. shell-server shell-server Public

   #! shell server base images, ready to boot and allow user logins.

   Jinja 104 32

2. git-signatures git-signatures Public archive

   Git extensions for m-of-n signing and verification on commits/tags.

   Shell 151 12

3. hashbang.sh hashbang.sh Public

   Public facing website on hashbang.sh with embedded user creation script.

   HTML 138 22

4. dotfiles dotfiles Public

   The dotfiles used for all new shell users

   Python 20 12

5. userdb userdb Public

   Documentation, schema, and container for our PostgreSQL user database.

   Makefile 13 7