Push the draco-aw80 branches somewhere #33
Labels
No labels
blocked-physical
cleanup
hardware
infra
kernel
P1-critical
P2-high
P3-normal
P4-later
reliability
security
upstream
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
tiagoagueda/a80#33
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
patches/now holds a faithful export of both trees, verified byte-exact for the AR100driver. But an export is not a tree with its history: the
draco-aw80branches in~/a80/linuxand~/a80/u-bootstill exist only on ouranos.If that host died now, every line of code survives in this repository — the commit history,
the bases, and the ability to rebase cleanly onto a newer mainline would not.
Done when
Done 2026-08-29. Both boxes ticked.
Heads verified against ouranos rather than read off the branch names, and recorded in
ARCHIVE.mdalong with the bases.draco-aw80is the default branch on both. Both are public,matching this repository.
Two obstacles this ticket did not anticipate
A shallow clone cannot be pushed. Both trees were shallow, and the server refuses them
outright:
So each needed
git fetch --unshallowfirst - u-boot 60 M -> 375 M in 72 s, linux 297 M ->5.5 G in 1244 s. The "just push it" ticket was really 20 minutes and 5 GB of disk before a
single byte could move.
And a 5.5 GB push dies on the reverse proxy, at 241 s, with
fatal: the remote end hung up unexpectedly. Pushing progressively newer tags to a throwawaystagingref keeps each request small, and that worked:Both filed against the server as
docker-recipes#78,
together with why git-over-SSH was not an option: Forgejo advertises
ssh://git@192.168.27.38/, which answers nothing from a host on the same /24, and its SSHport is not published.
Worth knowing
An earlier attempt reported success and had pushed nothing.
fatal: the remote end hung up unexpectedlywas followed byEverything up-to-date, and Ireported the branch as pushed - the repository was 22 KB with no branches at all. Checking the
server, not the exit status, is what caught it.
a80-linuxis 8.48 GB on the server against 5.5 GB locally, because the staged pushes leftobjects unpacked. A server-side
git gcwould reclaim most of that.This does not retire
patches/: with the bases recorded inARCHIVE.md,git amstillreconstructs either branch exactly, and it costs kilobytes rather than gigabytes.