<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Aug 19, 2020 at 12:21 AM Rob Landley <<a href="mailto:rob@landley.net">rob@landley.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 8/18/20 12:17 PM, enh wrote:<br>
>     But closing it, I have to navigate to the website which I'm not always logged<br>
>     into even when I am online. (Why github-generated .patch files don't have the<br>
>     "closes #xxx" magic signature you were telling me about, I couldn't tell you.<br>
>     They didn't anticipate this workflow, I guess? "I have assumptions about how<br>
>     this hammer will be used, and it breaks if you don't do that" = cheap hammer.)<br>
> <br>
> (the whole "you need to fork the project to send a patch" model just baffles me.<br>
<br>
It fluffs out their metrics. If you count forks as projects, then the "number of<br>
projects on github" looks enormous.<br></blockquote><div><br></div><div>that would certainly fit the usual rule of "if something doesn't make sense technically, think about the economics"...</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> i don't think i could have come up with a more alien way of contributing to a<br>
> project than github's if i'd actually set out to try to do so. just the fact<br>
> that it litters the internet with abandoned "forks" [that aren't usually really<br>
> forks in the traditional sense] and leaves you struggling to understand which<br>
> [if any] is the "real" project...)<br>
<br>
You can delete the fork as soon as you send the pull request (before it's even<br>
merged) but they don't explain that.<br></blockquote><div><br></div><div>in today's edition of "can someone point me at the damn button in github's awful ui?"... how/where do i do that? even looking for it know it must exist i can't find that. neither on my home page (where i see my "forks" on the left), nor on the page for one of the "forks" itself, nor on the "your repositories" page.</div><div><br></div><div>oh, here it is: <a href="https://docs.github.com/en/github/administering-a-repository/deleting-a-repository">https://docs.github.com/en/github/administering-a-repository/deleting-a-repository</a></div><div><br></div><div>man, they really don't want to make that easy. that they make no distinction between a "real" repository and a so-called "fork" really does support your theory :-(</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Rob<br>
</blockquote></div></div>