git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [patthoyts/git-gui] Don't barf on duplicate recent repo list entries, nor a full list (#10)

From
Philip Oakley <philipoakley@iee.org>
Date
Mar 19, 2017, 23:11 UTC
Message-ID
<B2E59184BB6249F78D09C12CACC3E579@PhilipOakley>
In-Reply-To
<patthoyts/git-gui/pull/10/issue_event/1005568675@github.com>
Show 8 quoted lines
> From: Pat Thoyts
> To: patthoyts/git-gui
> Cc: Philip Oakley ; Mention
> Sent: Saturday, March 18, 2017 3:47 PM
> Subject: Re: [patthoyts/git-gui] Don't barf on duplicate recent repo list 
> entries, nor a full list (#10)
>
> Merged #10.

-- Thanks.

This also completes https://public-inbox.org/git/B8156313FCCD473C988E790F7ABEC224@PhilipOakley/ (originally https://public-inbox.org/git/20170122195301.1784-1-philipoakley@iee.org/)

Philip
Message 1 of 1 in “Re: [patthoyts/git-gui] Don't barf on duplicate recent repo list entries, nor a full list (#10)”
  1. Philip OakleyMar 19, 2017

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.