commit | 608c67e48dfc448ff0ba965162b84b50a718d76b | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Sep 13 09:58:10 2023 -0400 |
committer | GitHub <noreply@github.com> | Wed Sep 13 09:58:10 2023 -0400 |
tree | 5760e8fef60aca0b73d5cb74305edaebe5ff24c3 | |
parent | e160ce519a3ab82d407bc57a0f0b0510d61a3a59 [diff] | |
parent | 1442a79dc1faa5ed37bc223bef01d20056373572 [diff] |
Merge pull request #109 from mering/fix-username-gh-codespaces Prefer getpass.getuser() over os.getlogin()
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.