index
:
omni.git
live
usr/ben
not just a monorepo, its an *omnirepo*
ben
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Biz
/
Ide
Age
Commit message (
Expand
)
Author
3 days
Re-namespace some stuff to Omni
Ben Sima
3 days
Rewrite mktags.sh to MakeTags.py
Ben Sima
2024-05-29
Rewrite ns.sh
Ben Sima
2024-05-23
Lint fix command in ns.sh
Ben Sima
2024-05-21
Set pre-push hook to fail if subcommand fails
Ben Sima
2024-05-20
Minor Ide changes & fixes
Ben Sima
2024-05-20
Fix push.sh, act as $USER instead of root
Ben Sima
2024-05-20
Switch to universal-ctags
Ben Sima
2024-04-11
Don't reload direnv every checkout
Ben Sima
2024-04-11
Don't run the pre-push script when pushing git notes
Ben Sima
2024-04-11
Fix syntax error in pre-push hook
Ben Sima
2024-04-10
Save commit message if gitlint fails
Ben Sima
2024-04-10
Reorganize and update nixpkgs upstreams
Ben Sima
2024-04-10
Add mypy to Python REPL
Ben Sima
2024-04-10
Switch from black to ruff format
Ben Sima
2024-04-10
Push ci notes automatically
Ben Sima
2024-04-09
Replace tidy.sh with git clean, add it to ci
Ben Sima
2024-04-03
Enable CI for every commit
Ben Sima
2024-04-03
Update comment to CI script
Ben Sima
2024-04-01
Make bild exception for git hooks
Ben Sima
2024-04-01
Set border and window placement in ftags/hoog scripts
Ben Sima
2024-04-01
Rename .bash files to .sh
Ben Sima
2024-04-01
Add --jobs and --cpus to bild
Ben Sima
2023-10-27
CI script improvements
Ben Sima
2023-10-27
Rename BIZ_ROOT to CODEROOT
Ben Sima
2023-10-10
Add git-branchless
Ben Sima
2023-10-10
Environment fixes on beryllium
Ben Sima
2023-10-10
Don't swallow namespace-parsing errors
Ben Sima
2023-10-03
Add rundeps feature to bild
Ben Sima
2023-10-03
Rename BIZ_ROOT to CODEROOT
Ben Sima
2023-09-20
Prototype Mynion
Ben Sima
2023-09-19
Fix checking of grep exitcode
Ben Sima
2023-09-19
Lint faster by grouping files by extension
Ben Sima
2023-08-22
Replace pylint with ruff
Ben Sima
2023-08-22
Add a commit-msg hook lint and various other cleanups
Ben Sima
2023-08-21
Don't run ci on notes refs
Ben Sima
2023-08-21
Only run pre-push if there hasn't been a successful run
Ben Sima
2023-08-17
Reload dev environment after git checkout
Ben Sima
2023-08-16
Fix variable substitution and indenting in ci script
Ben Sima
2023-08-16
Condense note message in pre-push hook
Ben Sima
2023-08-16
Get python targets building
Ben Sima
2023-08-16
Turn pre-push into a record-keeping ci
Ben Sima
2023-08-07
Working nixified python build
Ben Sima
2023-08-03
Add packageSet argument
Ben Sima
2023-07-28
Fix tags generation in git hook
Ben Sima
2023-04-28
Default to Guile 3.0 everywhere
Ben Sima
2023-01-03
Add nl to push logging output
Ben Sima
2022-11-02
Select built nix targets with ship
Ben Sima
2022-08-10
Fix path to git hook
Ben Sima
2022-08-08
Ensure BIZ_ROOT is set in shell scripts
Ben Sima
[next]