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

Community feedback wanted: Transfer of the project #827

Closed
goekay opened this issue May 19, 2022 · 6 comments
Closed

Community feedback wanted: Transfer of the project #827

goekay opened this issue May 19, 2022 · 6 comments

Comments

@goekay
Copy link
Member

goekay commented May 19, 2022

Hey all,

SteVe started its life in 2013 when i was a research assistant at RWTH University in the research group IDSG part of the chair Informatik 5. Hence, https://github.com/RWTH-i5-IDSG as the owner organisation. However, since mid-2019 I am no more associated with the university and the research group. Keeping the project and repository under the umbrella of RWTH-i5-IDSG has some drawbacks:

  • It gives the false impression that the project is still actively developed within the university and research group.
  • My former colleagues from my former research group receive e-mails with questions and inquiries. As a result, they have to deal with this unnecessary overhead.

I am actively thinking about creating a new organisation as the owner of SteVe, and asking my former colleagues to transfer the repository. This would be the new home for the future.

Feedback and ideas are welcome. Are you okay with this? Do you have alternative suggestions?

@goekay
Copy link
Member Author

goekay commented May 19, 2022

The history will not be lost after a transfer:

When you transfer a repository, its issues, pull requests, wiki, stars, and watchers are also transferred. If the transferred repository contains webhooks, services, secrets, or deploy keys, they will remain associated after the transfer is complete. Git information about commits, including contributions, is preserved.

from https://docs.github.com/en/repositories/creating-and-managing-repositories/transferring-a-repository

@csamsel
Copy link
Contributor

csamsel commented May 24, 2022

(y) i think that makes sense

@mosea3
Copy link

mosea3 commented May 25, 2022

yes, that makes sense

@mhei
Copy link
Contributor

mhei commented May 28, 2022

Makes sense, go for it.

@gsvitak
Copy link

gsvitak commented Jun 5, 2022

Makes sense go for it.

@goekay
Copy link
Member Author

goekay commented Sep 2, 2022

thanks everyone for the input and support. the transfer happened. the new organisation is https://github.com/steve-community

github redirects links coming from old org to the new org.

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

No branches or pull requests

5 participants