Note from 27 March 2020

I wish #GitHub had a different UX for repository deletion if this is a fork.

Especially if there is nothing useful (no open PR for example) on the repository to delete. "Unexpected bad things" will NOT happen in such case!

The UI for repository deletion on GitHub

(sorry @etportis 😉 )

9 reactions

Eric Portis
*Au contraire*, the greatest gift you can give an open source project is to obviate the need for it.
- 27 March 2020, 17:40
- Source
Eric Portis
PS I realize now that you actually speak French, and I have no idea if "au contraire" means what I think it means, or has any of the same joke-y connotations, in it's native tounge merriam-webster.com/dictionary/au%…
- 27 March 2020, 17:41
- Source
Nicolas Hoizey
Gift to the project, or gift to the maintainer? 😅
- 27 March 2020, 17:42
- Source
Nicolas Hoizey
I believe it means what you think it means! 👍
- 27 March 2020, 17:43
- Source
Eric Portis
The maintainer, the project's *goals*, its users, and its users' users!

What I'm trying to say is: thanks (:
- 27 March 2020, 17:51
- Source
Nicolas Hoizey
You’re welcome!

In fact, I’m not sure I follow what you mean, I understand you say all open source projects aim to disappear, while most are useful and have no alternatives, or proprietary ones.
- 27 March 2020, 17:53
- Source
Eric Portis
Exactly! So I feel quite lucky to have someone do what I was trying to do, but better.
- 27 March 2020, 17:56
- Source
Nicolas Hoizey
Oh, now I understand what you mean, and I’m really happy you think what I did is valuable. 😊

I know it is powerful, it works for my use cases, but it still lacks proper documentation for people trying to use it.
- 27 March 2020, 18:03
- Source