4 ms·

Here is my favorite way to archive a repo: ssh user@rsync.net "git clone git://github.com/LabAdvComp/UDR.git github/udr" Any repos/projects that are important

• akerl_ 9y ago
  This is a fundamentally different meaning of the word "archiving" than GitHub is using. The new feature "archives" in the sense that it adjusts the repo to be read-only, so that folks can view it on GitHub without being able to PR or file issues. Like historical preservation. Your example is "archive" in the sense of "have a backup of", which is something more folks should definitely be doing, but isn't a replacement for GitHub's new feature.
  • zokier 9y ago
    > This is a fundamentally different meaning of the word "archiving" than GitHub is using. I think the difference is not in the meaning of "archiving" but in the meaning of "repository". Github repository is far wider concept than plain git repo: > Archiving a repository makes it read-only to everyone (including repository owners). This includes editing the repository, issues, pull requests, labels, milestones, projects, wiki, releases, commits, tags, branches, reactions and comments.