Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Your GitHub account name is needed by Oct 29 for our Trac->GitHub migration #34664

Closed
mkoeppe opened this issue Oct 15, 2022 · 42 comments
Closed

Comments

@mkoeppe
Copy link
Contributor

mkoeppe commented Oct 15, 2022

Sage development will soon move from Trac to Github! This was decided in a vote on sage-devel that closed on Oct 5, 2022. The migration work is coordinated in #30363.

The migration will convert all Trac tickets, including all comments, to GitHub Issues.

We intend to attribute all comments of a Trac user to a corresponding GitHub account; but comments by Trac users for whom we do not have will be represented by a placeholder account.

You are cc'd here because we do not have your GitHub account on file. If you do not have one yet, now is a great time to open one.

Let us know:

CC: @kwankyu @dimpase

Component: website/wiki

Issue created by migration from https://trac.sagemath.org/ticket/34664

@mkoeppe mkoeppe added this to the sage-9.8 milestone Oct 15, 2022
@itaibn
Copy link
Mannequin

itaibn mannequin commented Oct 15, 2022

comment:1

Github username: itaibn

https://github.com/itaibn/

@jdchristensen
Copy link

comment:2

I'm jdc on trac and jdchristensen on github. Sorry, it wasn't clear to me how to update that xml file.

@hemmecke
Copy link
Contributor

comment:3

hemmecke on github

@mkoeppe

This comment has been minimized.

@DrXyzzy
Copy link

DrXyzzy commented Oct 15, 2022

comment:5

trac: hsnyder github: https://github.com/DrXyzzy

@DrXyzzy

This comment has been minimized.

@monien
Copy link
Contributor

monien commented Oct 15, 2022

comment:6

I am hmonien on trac

GitHub username: monien

https://github.com/monien

@tobihan
Copy link

tobihan commented Oct 15, 2022

comment:7

thansen on trac, tobihan on github

@ralfarogit
Copy link
Mannequin

ralfarogit mannequin commented Oct 15, 2022

comment:8

I am ralfarogit on Github

@monien
Copy link
Contributor

monien commented Oct 15, 2022

comment:11

DO NOT SUBMIT CHANGES HERE

An e-mail is send out to all sage developers for each change!

This results in roughly 350 x 350 unnecessary e-mails!

There must be a better way to do this!

@jondo
Copy link

jondo commented Oct 15, 2022

comment:12

jondo on Github

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Oct 15, 2022

comment:15

Replying to Hartmut Monien:

There must be a better way to do this!

Yes, as explained in the ticket description.

@sagetrac-ipasquinelli
Copy link
Mannequin

sagetrac-ipasquinelli mannequin commented Oct 15, 2022

comment:16

IrenePasquinelli is my github

@greg-minshall
Copy link

comment:18

minshall --> greg-minshall

@peterjeremy
Copy link

comment:19

I (Peter Jeremy) am pjeremy on trac & peterjeremy on github.

@tjl
Copy link

tjl commented Oct 15, 2022

comment:20

tjlahey on trac & tjl on github

@asbuch
Copy link

asbuch commented Oct 15, 2022

comment:21

asbuch on trac, asbuch on github.

@Lazza
Copy link

Lazza commented Oct 15, 2022

comment:22

My GitHub username is Lazza

@ayyer
Copy link

ayyer commented Oct 16, 2022

comment:23

My Github username is ayyer.

@zimmermann6
Copy link

comment:24

trac login zimmerma, github login zimmermann6

@haaninjo
Copy link

comment:25

AJonsson on trac, haaninjo on github

@frederichan-IMJPRG
Copy link

comment:26

frederichan on trac, frederichan-IMJPRG on github

@falque
Copy link
Mannequin

falque mannequin commented Oct 16, 2022

comment:27

On trac : falque
On GitHub : Justine Falque https://github.com/falque

@mstreng
Copy link

mstreng commented Oct 16, 2022

comment:28

mstreng on both trac and github

@nadialafreniere
Copy link
Contributor

comment:29

nadialafreniere on both Github and Trac

@RBKreckel
Copy link

comment:30

trac login rbk, github login RBKreckel

@mkauers
Copy link

mkauers commented Oct 17, 2022

comment:31

trac login mkauers => github login mkauers

@staroste
Copy link
Contributor

comment:32

trac: sstarosta github: staroste

@mstreng
Copy link

mstreng commented Oct 17, 2022

comment:33

Apparently the fact that we've been removed from the cc box does not mean that we don't get emails after posting a message here. So unless you want to get hundred's of emails, you should heed Hartmut's advice:

Replying to Hartmut Monien:

DO NOT SUBMIT CHANGES HERE

@MatthieuDien
Copy link

comment:34

trac : MatthieuDien
github : MatthieuDien

@DanGrayson
Copy link

comment:35

I'm DanGrayson on github

@mkoeppe

This comment has been minimized.

@SmoothDragon
Copy link
Contributor

comment:38

trac: TomDraper github: SmoothDragon

@janmedlock
Copy link

comment:39

GitHub name: janmedlock

@eduenez
Copy link

eduenez commented Oct 18, 2022

comment:40

GitHub name: eduenez

@infinity0
Copy link
Mannequin

infinity0 mannequin commented Oct 20, 2022

comment:41

contributors.xml already has my github username, under 'url=""'

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Oct 20, 2022

comment:42

Replying to Ximin Luo:

contributors.xml already has my github username, under 'url=""'

Thanks, I've taken care of it in sagemath/website#407

@msoos
Copy link

msoos commented Oct 22, 2022

comment:43

GitHub name: msoos

@mminzlaff
Copy link
Mannequin

mminzlaff mannequin commented Oct 29, 2022

comment:44

trac: minz
github: mminzlaff

@skirpichev
Copy link
Mannequin

skirpichev mannequin commented Nov 6, 2022

comment:45

trac: skirpichev github: skirpichev

@amypang
Copy link
Mannequin

amypang mannequin commented Nov 19, 2022

comment:46

I'm amypang on Github, thanks.

@kwankyu
Copy link
Collaborator

kwankyu commented Jan 26, 2023

comment:47

We are closing this ticket. Latecomers with a GitHub account are cordially directed to

https://groups.google.com/g/sage-devel/c/-mGnxVr9z1c

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests