|
Size: 264
Comment:
|
Size: 2617
Comment: add patchbot
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Bot names and owners: | ## page was renamed from buildbot/owners = 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. |
| Line 3: | Line 11: |
| arando = jdemeyer eddy = ? groebner = ? icj-laptop = chapoton librae = vdelecroix Martin-Laptop = ? mangouste = vdelecroix pcl337b = ? pi = ? sage4 = jdemeyer silence = ncohen |
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) |
| Line 15: | Line 54: |
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 [[WikiStart|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. |
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 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.