The Wiert Corner – irregular stream of stuff

Jeroen W. Pluimers on .NET, C#, Delphi, databases, and personal interests

  • My work

  • My badges

  • Twitter Updates

    • G+ These are the command-line parameters I assembled to get close to “Ultra” compression from the 7-zip... ift.tt/2ol0NhR 1 hour ago
    • Getting close to 7zip GUI “Ultra” compression from a batch file wiert.me/2018/02/23/get… 1 hour ago
    • RT @Nick_Craver: Nothing of what I planned to do today got done. Nothing. Nothing at all. But we kept the error count under 2.5 million beh… 9 hours ago
    • RT @kellabyte: I really don’t get the harsh criticism around Intel 3D XPoint. Yes they didn’t deliver persisted RAM. They did deliver 8x… 9 hours ago
    • G+ “Some managers just don’t recognize how profound the differences between their people are; others don’t... ift.tt/2FmOJUB 9 hours ago
  • My Flickr Stream

  • Pages

  • All categories

  • Enter your email address to subscribe to this blog and receive notifications of new posts by email.

    Join 1,347 other followers

GitHub: Searching your own repositories – excluding forks

Posted by jpluimers on 2017/09/12

The Searching repositories – User Documentation mentions

By default, forked repositories are not shown.

But it forgets this only holds for the main search box which is conveniently called “Search GitHub” but documented as “Search repositories“:

Based on that documentation you’d think the “Search Repositories” box would adhere to the same defaults, right?

Wrong. We live in the “form over function” era so that would be too easy.

Worse, the “Type” selection box contains “Forks” but omits “no Forks”:

If you select “Forks” it fails to show you how to specify that in the search box; it just indicates “forked”:

What you’re after is the (undocumented!) fork:false setting, which works:

–jeroen

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

 
%d bloggers like this: