Differences between revisions 60 and 61
⇤ ← Revision 60 as of 2022-04-16 19:51:36 →
Size: 2664
Editor: mkoeppe
Comment: fix link to AccountNamesMappedtoRealNames
← Revision 61 as of 2022-04-18 03:09:25 → ⇥
Size: 115
Editor: mkoeppe
Comment: Move to https://trac.sagemath.org/wiki/patchbot/owners
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
= 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)
pell galipnik
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
[[https://trac.sagemath.org/#AccountNamesMappedtoRealNames|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.		 This page has moved to https://trac.sagemath.org/wiki/patchbot/owners

This page has moved to https://trac.sagemath.org/wiki/patchbot/owners

patchbot/owners (last edited 2022-04-18 03:09:25 by mkoeppe)