Sign in to cofferdam

A token is what git uses for pushing. Tokens are minted by an administrator; there are no passwords.