Elektrine lite

← Feed

@emjonaitis@mathstodon.xyz

Post #899139

2026-03-28 12:17 UTC

Another github migration question, this time for the scholcomm people and librarians: I've got a repository that is associated with a publication. I'd like to do my due diligence to keep this out of large AI models as much as I can while also keeping it available to any researchers who care to poke more deeply into what we did. (Yes, I recognize that these are in some sense incompatible goods.) Has anyone developed a standard workflow for removing a repository from github while leaving a forwarding address?

Replies (3)

  • @Drmowinckels@fosstodon.org 2026-03-28 13:07

    @emjonaitis i don't have a solution, but I would likely clone the repo to codeberg, then initiate an new girnrepo with a single readme with the new location stated in it, force push that , then set the GitHub repo to archive status

    Open ##2154517

  • @olegmar@mastodon.social 2026-03-28 22:40

    @emjonaitis you can archive files with password to prevent them from indexing. Just don't forget to announce the password for live people.

    Open ##2154519

  • @cinebox@masto.hackers.town 2026-03-29 01:52

    @emjonaitis my solution was to force push an orphan commit containing only a readme with a link to the new location

    Open ##2154520