robur/opam-mirror
4
0
Fork 0
Code Issues 5 Pull requests Projects Releases Packages Wiki Activity Actions

Use GPTar table #3

Merged
reynir merged 6 commits from gptar' into main 2024-10-16 09:10:33 +00:00
Conversation 1 Commits 6 Files changed 3 +231 -16
reynir commented 2024-10-04 14:06:58 +00:00
Owner
Copy link

We expect the disk to be formatted already. This is the original gptar PR with some minor modifications.

There is a tool in the original gptar branch for formatting the disk https://git.robur.coop/robur/opam-mirror/src/branch/gptar/mkimg

We expect the disk to be formatted already. This is the original gptar PR with some minor modifications. There is a tool in the original gptar branch for formatting the disk https://git.robur.coop/robur/opam-mirror/src/branch/gptar/mkimg
reynir added 1 commit 2024-10-04 14:06:58 +00:00 
We expect the disk to be formatted already.
reynir commented 2024-10-04 14:10:22 +00:00
Author
Owner
Copy link

This is not ready. There are unused arguments sectors_git and sectors_cache now.

This is not ready. There are unused arguments `sectors_git` and `sectors_cache` now.
reynir added 1 commit 2024-10-09 16:44:02 +00:00
reynir added 1 commit 2024-10-09 17:54:58 +00:00
reynir added 1 commit 2024-10-10 08:25:29 +00:00 
THIS DESTROYS DATA
reynir added 1 commit 2024-10-10 08:32:15 +00:00
reynir force-pushed gptar' from 6aa490f607 to 30266f4e09 2024-10-16 09:05:41 +00:00 Compare
reynir added 1 commit 2024-10-16 09:07:12 +00:00
reynir merged commit 1241753a8c into main 2024-10-16 09:10:33 +00:00
reynir deleted branch gptar' 2024-10-16 09:10:34 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: robur/opam-mirror#3
No description provided.
Delete branch "gptar'"

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?