Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jan 22 02:09

    virtuald on gh-pages

    Update sponsors and links for t… Merge pull request #18 from joe… (compare)

  • Jan 22 02:09
    virtuald closed #18
  • Jan 21 21:27
    joezawisa edited #18
  • Jan 21 17:49
    joezawisa opened #18
  • Apr 05 2020 17:57

    virtuald on gh-pages

    Update 5420.md Update 5420.md Merge pull request #24 from nha… (compare)

  • Apr 05 2020 17:57
    virtuald closed #24
  • Apr 05 2020 17:40
    nhalstead synchronize #24
  • Apr 05 2020 17:37
    nhalstead opened #24
  • Feb 28 2020 05:18
    shawnkaas opened #23
  • Feb 18 2020 01:23

    virtuald on gh-pages

    Added code from 2018 and 2019 Added robot code for team 190 Updated 254 robots and code and 7 more (compare)

  • Feb 18 2020 01:23
    virtuald closed #25
  • Feb 18 2020 01:22

    virtuald on gh-pages

    Update 1756.md Merge pull request #24 from dkt… (compare)

  • Feb 18 2020 01:22
    virtuald closed #24
  • Feb 18 2020 01:21

    virtuald on gh-pages

    Updated teams name Update the … Merge branch 'gh-pages' into pa… Merge pull request #21 from Sov… (compare)

  • Feb 18 2020 01:21
    virtuald closed #21
  • Feb 18 2020 01:19
    virtuald synchronize #21
  • Feb 18 2020 01:18

    virtuald on gh-pages

    Update sponsors and team name, … Merge pull request #22 from Sov… (compare)

  • Feb 18 2020 01:18
    virtuald closed #22
  • Feb 18 2020 01:00
    SovietCommandantOtter review_requested #21
  • Feb 18 2020 00:57
    SovietCommandantOtter opened #22
Dustin Spicuzza
@virtuald
@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
Jeff-avatar
@Jeff-avatar
Hi guys, I am not sure if I am in the right room. I would like to use Emacs to edit Wikipedia pages. After I set up the mediawiki-site-alist variable like this
URL: https://research.coreform.com/index.php/Main_Page
Username: **
Password: *
Provide LDAP Domain: No
First Page: Main Page
and call mediawiki-site in emacs, I got "helm-M-x-execute-command: There was an error parsing the result of the API call".
Does anybody know what is going wrong? Many thanks.
Dustin Spicuzza
@virtuald
@Jeff-avatar you're definitely in the wrong room
Jeff-avatar
@Jeff-avatar
@virtuald Thank you. Do you have any suggestions about where I should go?
Dustin Spicuzza
@virtuald
@Jeff-avatar wikipedia? lol. dunno. this gitter chat has zero association with wikipedia.
Jeff-avatar
@Jeff-avatar
Thank @virtuald .