mirror to github #1

Closed
opened 2023-07-03 04:14:41 +00:00 by focks · 1 comment
Owner

forgejo offers the ability to automatically mirror the repo to another site. this would make keeping the github mirror up to date trivial.

however, with the fonts in the repo that makes it impossible to utilize. i think the fonts should be split off into their own repo (EmacsFonts) that can be cloned separately during the initial configuration cloning.

Unsure if doing a git rm on the fonts will remove them from the history though. this should be looked into.

forgejo offers the ability to automatically mirror the repo to another site. this would make keeping the github mirror up to date trivial. however, with the fonts in the repo that makes it impossible to utilize. i think the fonts should be split off into their own repo (EmacsFonts) that can be cloned separately during the initial configuration cloning. Unsure if doing a `git rm` on the fonts will remove them from the history though. this should be looked into.
Author
Owner

Closed in commit 128be5689a

Closed in commit 128be5689a07b69defee1b15f63c37b5f89704d0
focks closed this issue 2023-07-03 22:15:05 +00:00
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 Participants
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: focks/EmacsConfig#1
No description provided.