Create "fesl" github organization about mala HOT 7 CLOSED

In GitLab by @RandomDefaultUser on Dec 23, 2020, 12:16

ATM I'd lean towards fesl_project, then the code URL would be https://github.com/fesl_project/fesl.

By Schmerler, Dr. Steve (FWCC) - 131252 on 2020-12-23T12:16:30 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Jan 4, 2021, 16:28

Thanks, @schmer52 !
My user name is acangi: https://github.com/acangi

By Cangi, Dr. Attila (FWU) - 139621 on 2021-01-04T16:28:17 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Dec 21, 2020, 18:25

Hmm looks like https://github.com/fesl does exist. So we'd need another name for the organization. Some suggestions: feslorg, fesl_org, fesl_, f_esl, fels_dd, feslproj, fesl_project (this is probably also a free twitter handle), feslcode, fesl_code, or with renaming the project (which we probably don't want): ffesl, FfESL.

By Schmerler, Dr. Steve (FWCC) - 131252 on 2020-12-23T12:20:39 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Dec 27, 2020, 13:40

Ah, that's a bummer. As much as I like fesl_dd and fesl_code for their shortness, I feel like that would make it to specific again by including either city or puprose of the repo into the name. I agree with you and think fesl_project would be the best choice, even though it is a little bit longer.

By Fiedler, Lenz (FWU) - 146409 on 2020-12-27T13:40:48 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Jan 4, 2021, 18:15

Done, sent you an invitation. Next stop: the logo, but that's not super urgent I guess.

By Schmerler, Dr. Steve (FWCC) - 131252 on 2021-01-04T18:16:00 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Jan 4, 2021, 16:25

https://github.com/fesl-project

Now I'd need the github accounts of people to add. For now only us three (me, @cangi21 and @fiedle09) since we have no code there, just a placeholder.

By Schmerler, Dr. Steve (FWCC) - 131252 on 2021-01-04T16:25:00 (imported from GitLab)

from mala.

In GitLab by @RandomDefaultUser on Jan 4, 2021, 16:26

Nice, thank you! :)

My user name is RandomDefaultUser:
https://github.com/RandomDefaultUser

By Fiedler, Lenz (FWU) - 146409 on 2021-01-04T16:26:07 (imported from GitLab)

from mala.