admin/rocky-man
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Deploy/pull from upstream #6

Merged
admin merged 2 commits from deploy/pull-from-upstream into main 2026-06-16 08:11:26 -05:00
Conversation 0 Commits 2 Files Changed 33
+27 -3852
admin commented 2026-06-16 08:11:21 -05:00
Owner
Copy Link
Copy Source
No description provided.
admin added 2 commits 2026-06-16 08:11:21 -05:00
deploy: pull app source from upstream instead of duplicating it ebb3925629 
This repo now holds only the deploy pipeline. The application code (src,
templates, Dockerfile, pyproject, etc.) is removed and instead cloned from
the upstream repository at build time via the new SOURCE_REPO / SOURCE_REF
parameters (default: git.resf.org/documentation/rocky-man @ main). The
Docker image is built from that clone, eliminating the duplicate copy.

Also drop an accidentally committed .ruff_cache blob and ignore the
build-time clone dir and ruff cache.

Assisted-by: Claude Opus 4 (Claude Code)
deploy: add HighAvailability to default REPO_TYPES 11405c227f 
Versions already default to 8.10 9.8 10.2; include the HighAvailability
repo alongside BaseOS and AppStream so its man pages (pacemaker, corosync,
etc.) are built by default.

Assisted-by: Claude Opus 4 (Claude Code)
admin merged commit 3bd59b0791 into main 2026-06-16 08:11:26 -05:00
admin deleted branch deploy/pull-from-upstream 2026-06-16 08:11:28 -05:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: admin/rocky-man#6
Delete Branch "deploy/pull-from-upstream"

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?