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

Is this repository dead? #196

Closed
ilya-palachev opened this issue Jul 27, 2020 · 7 comments
Closed

Is this repository dead? #196

ilya-palachev opened this issue Jul 27, 2020 · 7 comments

Comments

@ilya-palachev
Copy link

Hello,

As I can see, this repository is no longer receiving updates since October 2019. Issues (#193 and #195) and pull requests (#192 and #194) do not receive any response for a long time.

Can anybody of maintainers clarify this situation?

What is the current status of source-d? Is it still maintaining this repository? If no, are there any plans to transfer the responsibility to some other organization?

@vmarkovtsev, @m09, @bzz, @eiso, @EgorBu ?

Thanks in advance.

@m09
Copy link
Contributor

m09 commented Jul 27, 2020

Hi @ilya-palachev.

Indeed, as you noticed, this repository is no longer maintained. src-d has closed at the end of last year.

We decided not to maintain it after the closing because there is a good alternative: https://ml4code.github.io/papers.html

Cheers

@ilya-palachev
Copy link
Author

However, the list that you mentioned is greatly different. A lot of people contributed to your repository, and most of their efforts will not be reflected there... It would be great to merge two lists. How do you think?

@m09
Copy link
Contributor

m09 commented Jul 27, 2020

Yes, feel free to fork and merge it's a good idea.

@bzz
Copy link
Contributor

bzz commented Aug 3, 2020

Indeed, this list is not maintained any more.

the list that you mentioned is greatly different

@ilya-palachev Is there anything particular that https://github.com/ml4code/ml4code.github.io is missing that is crucial for your use case?

@dgrahn
Copy link

dgrahn commented Aug 3, 2020

A warning should be placed at the top of the repository. I tried to create a pull request for it, but I'm not going to go through all the random hoops to just put a warning message.

@marnovo
Copy link
Member

marnovo commented Oct 19, 2020

As seems I still have rights, added notice and alternative via #198. Let me know.

@ilya-palachev
Copy link
Author

As seems I still have rights, added notice and alternative via #198. Let me know.

Okay, thanks!

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