quick-lint-js icon indicating copy to clipboard operation
quick-lint-js copied to clipboard

Published 20 hours ago • verified publisher icon quick-lint

Mirror Git on quick-lint-js.com

Open strager opened this issue 3 years ago • 2 comments

in case GitHub goes down.

  • [ ] Update Homebrew formula

strager avatar Dec 02 '21 08:12 strager

What features are you looking to have as part of this mirror? Are you looking to self-host something full-featured with issues, PRs, etc. like Gitea, or something read-only and light like cgit?

Another approach to achieve some redundancy is to use a hosted GitHub alternative. You could mirror the Git repo while keeping additional features like issues, PRs, etc. off unless they become needed.

ghost avatar Jun 28 '22 00:06 ghost

Are you looking to self-host something full-featured with issues, PRs, etc. like Gitea

No, that's not necessary.

I think I just want plain Git repo over HTTP so people can clone from somewhere else. Not even a web UI is necessary.

We already have a Git repo on our server, but:

  • it's not served over HTTP
  • it's synced daily, which is too latent

Just fixing these two issues should be enough for this task.

strager avatar Jun 28 '22 08:06 strager