:)
@hook54321a doesn't matter to me, it's all on github's hosting
It's the dashboard of archiveteam's archivebot instance. http://www.archiveteam.org/index.php?title=ArchiveBot https://github.com/ArchiveTeam/ArchiveBot
github pages are an odd thing to crawl, given that the source is available via git
Archivebot only supports http, https, and ftp
There is another group that is archiving github repositories
githubarchive.org
And I'm archiving some FIRST related sites, but I'm not sure if there are any that I'm missing...
And some of them I'm not sure how often I should re-archive them
I had thought about setting that up, but never got around to doing it
I dunno. The nice thing about this project is that even if it's neglected, because it's on github pages it'll be really difficult for it to actually die
it would be nice if there were a better way to edit pages
I'm working on some documentation for my own team over the summer that I'm going to transfer onto the wiki once i get it a bit more polished.
I don't really know a way of getting a better editor with still being hosted on github, though.
one thing I was contemplating, is it that they have to get a github account, or just an account in general?
for example, what if they just needed a TBA account
I think we need to have some sort of anonymous editing
Most people won't want to create or have a github account
it's definitely possible, but would require having a server of some kind; github pages on its own wouldn't be able to do it
in theory, if you created some server process that had the right keys for someone with commit access on github, then you could tell the server to edit things arbitrarily
it's not a technically difficult problem, the difficult part would be creating the editor I think
and ensuring that merge conflicts don't happen
but I think one could do it
:c