Differences between revisions 56 and 58 (spanning 2 versions)
⇤ ← Revision 56 as of 2019-07-12 07:51:42 →
Size: 2544
Editor: chapoton
Comment: identified at last!
← Revision 58 as of 2020-11-20 20:41:11 → ⇥
Size: 2583
Editor: tmonteil
Comment: add some owners for currently running patchbots
Deletions are marked like this. Additions are marked like this.
Line 19: Line 19:
cofio gh-kliem
Line 35: Line 34:
panke gh-kliem
Line 38: Line 38:
petitbonum chapoton
Line 44: Line 45:
steenrod ​jhpalmieri
Line 48: Line 50:
zancara gh-kliem

SageMath patchbots and their owners

Please register patchbots below, giving contact details (e.g. a Sage Trac username) for the owner of each patchbot.

This helps contact the owner when a patchbot is stuck. 

patchbot name           owner
-------------           -----
andromeda               jkroeker
arando                  jdemeyer
ark                     rws
athena                  kdilks
btm2x13                 mderickx
bunion                  etn40ff (this is a laptop so it will be running sporadically)
cristal                 Bouillaguet
debian_jessie_32        tmonteil
eddy                    Vincent.Neri (LRI, Orsay, Paris-Sud)
fermat                  cremona, davidloeffler
findstat                stumpc5
geom                    dimpase
groebner                jkroeker
hades                   klee
icj-laptop              chapoton
kepler                  nilesjohnson
kevin-Virtualbox        kdilks
mangouste               vdelecroix
manifold                egourgoulhon
martin-Laptop           mantepse
mercury                 kdilks
panke                   gh-kliem
pascaline               slelievre
pbua                    novoselt
pc72-math               dkrenn (and behackl and cheuberg)
petitbonum              chapoton
poseidon                kdilks
quasar                  vdelecroix
rk02-math               cheuberg (and dkrenn)
sage4                   jdemeyer
sardonis                jdemeyer
silence                 ncohen
steenrod                ​jhpalmieri
tmonteil-*              tmonteil (various arch/OS/releases; contact me to run a 32-bit patchbot on a particular ticket)
ubuntu_vivid_64         tmonteil
vogon.jeltz(32Bit)      jkroeker
x200t-ThinkPad-*        jkroeker
zorn                    agd
44e979ad077a            embray (docker installation)

Instructions for running a patchbot are on the patchbot page of this wiki.

When running a patchbot, its name is defined by the HOSTNAME environment variable. To check what name your patchbot will have, run echo $HOSTNAME in a terminal. To set the name to something_else, run HOSTNAME=something_else before launching it.

Patchbot owners are encouraged to associate their real name to their Sage Trac username in the list of Sage developers present on the main page of the Sage Trac server. That list is a good place to add a link to their homepage which ideally will contain some way to contact them (e.g. email address) should the need arise.