-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Remove old git clients #2023
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
Remove old git clients #2023
Conversation
When merging this, please do squash the commits. This PR was quickly made with the GitHub UI. |
This PR could be closed just as quickly, and with as much diligence... I'd like you to consider the optics of whipping up a PR like this. |
@dscho I do apologise, and admit to using the UI for convenience. However, I do actually struggle with cloning this repository.
|
First of all: the README recommends a partial, shallow clone for a good reason. Second: You can work around the issue by using |
@@ -1,12 +0,0 @@ | |||
--- | |||
name: "Gitgui" | |||
project_url: "https://github.com/jjustra/gitgui" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That repository is not marked as archived. Therefore it will require more than a PR without explanation to remove it.
Hi, |
Thanks @jjustra for clarifying! |
@jjustra Thank you very much for the quick response. I was surprised to see a tiny script with no activity, but that does make sense. |
@stefnotch @dscho No problem at all. I understand how it looked from your side. |
Changes
Removes gitgui from the list of project, as it is a tiny script that no longer receives any attention from its author. I believe this change should be uncontroversial, but just in case, I'm pinging @jjustra
Furthermore, I believe we should remove the least useful git clients from the list. Roughly when they fulfill the criteria of being
I occasionally check the list for interesting git clients, and having a better curated list saves time, and gets more eyeballs on the actually good clients. We should be encouraging quality, not letting it get lost in the sand.