Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Aug 05 01:00
    edgarcosta commented #4694
  • Aug 05 00:58
    edgarcosta commented #4694
  • Aug 04 21:42
    AndrewVSutherland commented #4694
  • Aug 04 19:44
    edgarcosta commented #4694
  • Aug 04 11:48

    AndrewVSutherland on web

    atkinlehner -> atkin-lehner Merge pull request #4694 from A… Merge pull request #4696 from L… (compare)

  • Aug 04 11:48
    AndrewVSutherland closed #4696
  • Aug 04 11:48
    AndrewVSutherland opened #4696
  • Aug 04 11:31

    AndrewVSutherland on dev

    atkinlehner -> atkin-lehner Merge pull request #4694 from A… Merge pull request #4695 from L… (compare)

  • Aug 04 11:31
    AndrewVSutherland closed #4695
  • Aug 04 11:31
    AndrewVSutherland opened #4695
  • Aug 04 11:04

    edgarcosta on master

    atkinlehner -> atkin-lehner Merge pull request #4694 from A… (compare)

  • Aug 04 11:04
    edgarcosta closed #4694
  • Aug 04 03:46
    AndrewVSutherland opened #4694
  • Aug 03 13:16
    AndrewVSutherland closed #4573
  • Aug 03 13:16
    AndrewVSutherland commented #4573
  • Aug 03 12:50
    JohnCremona commented #4573
  • Aug 03 12:47
    JohnCremona commented #4573
  • Aug 03 12:00
    AndrewVSutherland commented #4573
  • Aug 03 08:45
    JohnCremona commented #4573
  • Aug 02 12:33
    BarinderBanwait commented #4587
Edgar Costa
@edgarcosta
also when you did ifconfig, it said your default mac address, save that somewhere
in case you don't want to reboot your computer to get it back
(magma and many other softwares use that to verify the license)
Edgar Costa
@edgarcosta
@JohnCremona alive?
AndrewVSutherland
@AndrewVSutherland
Doesnt look like it.
Edgar Costa
@edgarcosta
perhaps he also ran out of internet on the tablet
:(
AndrewVSutherland
@AndrewVSutherland
Yeah. But i think we are in a stable state.
we can just wait to fix prod
Edgar Costa
@edgarcosta
cool
I will go home and have dinner then
AndrewVSutherland
@AndrewVSutherland
Fine, are you around tomorrow or should we wait until monday?
Edgar Costa
@edgarcosta
from your perspective doesn't matter
as we halted all the automatic updates
I will probably be around in the afternoon, as I need to grade midterms
AndrewVSutherland
@AndrewVSutherland
Good, then I will finish cleaning up prod on github so that from a development point of view everything is good.
Edgar Costa
@edgarcosta
great
AndrewVSutherland
@AndrewVSutherland
It might be worth splitting off arb again so we can test the new prod on it before turning updates back on.
John Cremona
@JohnCremona
Sorry to have abandoned you like that. I m about to board plane. Laptop never reconnected. Well we did most of what had to be done. Not sure when I'll be back in the saddle. Bye
Edgar Costa
@edgarcosta
@AndrewVSutherland the data is already being read from that server (I still need to change the dns record of that thing )
There are 4 servers running lmfdb.org at the moment
I will take one out and try everything out when you guys tell me
AndrewVSutherland
@AndrewVSutherland
Ok prod is now setup on github correctly. I need to go now, but if you want to test out the current version of prod on one of the servers, feel free to.
Edgar Costa
@edgarcosta
i will do it
tks!
Edgar Costa
@edgarcosta
Edgar Costa
@edgarcosta
now you can check it on lmfdb.org
and I just killed www-central3
*I have
AndrewVSutherland
@AndrewVSutherland
Looks good.
John Cremona
@JohnCremona
I am home . Updated and restarted beta from the bus, no auto updates yet.
AndrewVSutherland
@AndrewVSutherland
I'm reviewing a pull request now that I will merge to beta soon
AndrewVSutherland
@AndrewVSutherland
Something is still funny, if you happen to be around (and awake!) and care to take a look, please let me know
Edgar Costa
@edgarcosta
@AndrewVSutherland Still dealing with git issues?
AndrewVSutherland
@AndrewVSutherland
All good now.
Just experimenting with empty pull requests/merging.
master beta and prod are all up to date and in sync. They contain one change that is not live on prod
But it is live on beta and works (it adds random object buttons to Artin reps, local fields, and galois groups)
I think it is safe to turn auto update back on (it is on now on beta).
Edgar Costa
@edgarcosta
Yeah, I read that, I will do it asap
done
AndrewVSutherland
@AndrewVSutherland
Thanks. What about getting knowls copied over?
I see the new prod is on www.lmfdb.org, looks good
Edgar Costa
@edgarcosta
let me write a quick script for that
Edgar Costa
@edgarcosta
done, on crontab every 15min
John Cremona
@JohnCremona
I wonder if anyone will notice if I type a line here.
It was useful back in May and could be worth using again?
David Lowry-Duda
@davidlowryduda
Hello gitter
i
@isomorphisms
Just want to say the lmfdb is wonderful and appreciated.
pdehaye
@pdehaye
there is not much action over here, but coming from someone who used to work on iLMFDB, it is appreciated ;-) @isomorphisms