27th March 2020, 15:59:32

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 ;-) )

If you want to share an error or suggest an enhancement of this content, please edit the source on Github.

8 Webmentions

Eric Portis
*Au contraire*, the greatest gift you can give an open source project is to obviate the need for it.
- 27th 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%…
- 27th March 2020, 17:41
- Source
Nicolas Hoizey
Gift to the project, or gift to the maintainer? 😅
- 27th March 2020, 17:42
- Source
Nicolas Hoizey
I believe it means what you think it means! 👍
- 27th 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 (:
- 27th 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.
- 27th 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.
- 27th 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.
- 27th March 2020, 18:03
- Source