This website requires JavaScript.
Explore
Help
Sign In
jerry
/
buzz
Watch
1
Star
0
Fork
0
You've already forked buzz
mirror of
https://github.com/block/buzz.git
synced
2026-10-30 14:01:37 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
8ce71a1d90760b3456fce392e677ba3acec55985
buzz
/
docs
/
spec
History
John Tennant
35849167b3
feat(projects): add collaborative related channels
...
Signed-off-by: John Tennant <
jtennant@squareup.com
>
2026-09-02 13:59:56 -04:00
..
.gitignore
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
GitOnObjectStore.cfg
docs: formal spec + machine-checked proof for git refs over object storage (
#721
)
2026-05-21 23:43:46 -04:00
GitOnObjectStore.tla
perf(relay): compact Git packs before manifest limits (
#2172
)
2026-07-20 19:36:28 +02:00
MultiTenantAuth.spthy
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
MultiTenantRelay.cfg
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
MultiTenantRelay.tla
Multi-tenant relay: spec + mechanized formal proof (S1–S8) (
#1285
)
2026-06-26 11:15:59 -04:00
project-membership-commands.md
feat(projects): add collaborative related channels
2026-09-02 13:59:56 -04:00
