Pinned Loading

1. shell-server shell-server Public

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

   Jinja 109 33

2. git-signatures git-signatures Public archive

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

   Shell 153 12

3. hashbang.sh hashbang.sh Public

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

   HTML 147 22

4. dotfiles dotfiles Public

   The dotfiles used for all new shell users

   Python 22 12

5. userdb userdb Public

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

   Makefile 14 7