Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Nov 20 17:16
    Team1557 opened #22
  • Nov 04 20:02
    realRoshanRaj opened #24
  • Sep 24 03:57
    virtuald commented #21
  • Sep 24 03:57

    virtuald on gh-pages

    Update with customized informat… Updating Team 1280 wiki desc. … Merge pull request #21 from aer… (compare)

  • Sep 24 03:57
    virtuald closed #21
  • Sep 19 05:12
    aerottd synchronize #21
  • Sep 18 23:29
    aerottd opened #21
  • Sep 02 14:38

    virtuald on gh-pages

    Updated sponsors & website, add… Merge pull request #20 from Jay… (compare)

  • Sep 02 14:38
    virtuald closed #20
  • Sep 02 04:02
    JaydenB0 opened #20
  • Aug 14 03:04

    virtuald on gh-pages

    added 2018 Repo Merge pull request #23 from rea… (compare)

  • Aug 14 03:04
    virtuald closed #23
  • Aug 13 16:17
    realRoshanRaj opened #23
  • Aug 13 04:01

    virtuald on gh-pages

    Update 3452.md Merge pull request #17 from mac… (compare)

  • Aug 13 04:01
    virtuald closed #17
  • Aug 10 04:29
    maccopacco opened #17
  • Jul 30 15:09

    virtuald on gh-pages

    Update 3468.md Add FRC3468's 2… Merge pull request #16 from gur… (compare)

  • Jul 30 15:09
    virtuald closed #16
  • Jul 30 04:30
    gurustave opened #16
  • Jul 24 13:36
    virtuald commented #19
hook
@hook321
It'll be added to the Wayback Machine soon after for historical purposes
hook
@hook321
On a related note, archive.usfirst.org has also been crawled, however the Wayback Machine won't display it due to the robots.txt
hook
@hook321
@virtuald @bkeeneykid
Dustin Spicuzza
@virtuald
crawling?
:)
@hook54321a doesn't matter to me, it's all on github's hosting
hook
@hook321
k. You can look at its progress on this page: http://dashboard.at.ninjawedding.org/
Dustin Spicuzza
@virtuald
... what is that?
hook
@hook321
Dustin Spicuzza
@virtuald
heh, fun
hook
@hook321
Best part is that we have an agreement with the internet archive to put everything we grab into the wayback machine
Dustin Spicuzza
@virtuald
heh, neat
github pages are an odd thing to crawl, given that the source is available via git
hook
@hook321
We're not really supposed to crawl complete github repositories since it's not very efficient and actually takes a ridiculous amount of time and resources, but they don't seem to mind when github.io sites are put in.
Dustin Spicuzza
@virtuald
you could 'git clone foo'
hook
@hook321
That would require a different tool because
Archivebot only supports http, https, and ftp
There is another group that is archiving github repositories
githubarchive.org
hook
@hook321
A few things.
I'm going to be adding in tons of documents that weren't able to be found before.
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
hook
@hook321
@virtuald Devin said that I should ask you if the auto pull request thingy is going to go back up
Dustin Spicuzza
@virtuald
@hook54321a hm?
hook
@hook321
@virtuald it used to be setup in a way where pull requests would be automatically accepted, so that people could see their changes instantly.
Dustin Spicuzza
@virtuald
@hook54321a ah. nope, it was never that way.
I had thought about setting that up, but never got around to doing it
Dustin Spicuzza
@virtuald
but, fwiw, I just updated lots of stuff from the latest TBA data, and ran my github crawler to update robot code links
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
Devin Keeney
@bkeeneykid
I've talked to quite a few people about trying to commit, even including some people involved with the "OG" firstwiki, and the fact that you have to have a github account to edit is usually the reason they're not
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.
Dustin Spicuzza
@virtuald
OG?
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
Devin Keeney
@bkeeneykid
OG = Original
I think we need to have some sort of anonymous editing
Most people won't want to create or have a github account
Dustin Spicuzza
@virtuald
I'm not opposed to it, but I feel it would need 'some' kind of authentication or it would get overran by spam
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
hook
@hook321
lots of the wiki content is still out of date
:c
Dustin Spicuzza
@virtuald
:(
hook
@hook321
@virtuald fyi, there's some pages that didn't get imported from firstwiki.net
Dustin Spicuzza
@virtuald
there are a lot of pages that didn't get imported