Note from 27th 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 😉 )

8 Webmentions

8 replies

  1. Eric Portis avatar Eric Portis
    *Au contraire*, the greatest gift you can give an open source project is to obviate the need for it.
  2. Eric Portis avatar 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%…
  3. Nicolas Hoizey avatar Nicolas Hoizey
    Gift to the project, or gift to the maintainer? 😅
  4. Nicolas Hoizey avatar Nicolas Hoizey
    I believe it means what you think it means! 👍
  5. Eric Portis avatar Eric Portis
    The maintainer, the project's *goals*, its users, and its users' users!

    What I'm trying to say is: thanks (:
  6. Nicolas Hoizey avatar 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.
  7. Eric Portis avatar Eric Portis
    Exactly! So I feel quite lucky to have someone do what I was trying to do, but better.
  8. Nicolas Hoizey avatar 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.