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.
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.