<?xml version="1.0" encoding="utf-8" standalone="yes"?><?xml-stylesheet type="text/xsl" href="/pretty-feed-v3.xsl"?>
<rss
  version="2.0"
  xmlns:atom="http://www.w3.org/2005/Atom"
  xmlns:content="http://purl.org/rss/1.0/modules/content/"
  xmlns:source="https://source.scripting.com/"
>
  <channel>
    <title>Paul Tibbetts</title>
    <link>https://paultibbetts.uk/tags/github/</link>
    <description>Recent posts by Paul Tibbetts on GitHub</description>
    <generator>Hugo</generator>
    <language>en-gb</language>
    <lastBuildDate>Thu, 30 Apr 2026 16:52:53 +0100</lastBuildDate>
    <atom:link href="https://paultibbetts.uk/tags/github/feed.xml" rel="self" type="application/rss+xml" /><item>
      <title>Ghostty Is Leaving GitHub – Mitchell Hashimoto I too have been annoyed by …</title>
      <link>https://paultibbetts.uk/2026/04/30/2026-04-30-142715-ghostty-is-leaving-github-mitchell-hashimoto/</link>
      <pubDate>Thu, 30 Apr 2026 14:27:15 +0100</pubDate>
      <guid>https://paultibbetts.uk/2026/04/30/2026-04-30-142715-ghostty-is-leaving-github-mitchell-hashimoto/</guid>
      <category>GitHub</category>
      <description>Ghostty Is Leaving GitHub – Mitchell Hashimoto I too have been annoyed by GitHub’s performance lately, and that’s just from using it personally.
I can’t imagine what’s it’s like for those relying on it for paid work right now.
Curious to see where Ghostty ends up, and what impact this has on its contributions.
Related:
The Missing GitHub Status Page Before GitHub</description>
      <content:encoded><![CDATA[<p><a href="https://mitchellh.com/writing/ghostty-leaving-github">Ghostty Is Leaving GitHub – Mitchell Hashimoto</a>
</p>
<p>I too have been annoyed by GitHub&rsquo;s performance lately, and that&rsquo;s just from using it personally.</p>
<p>I can&rsquo;t imagine what&rsquo;s it&rsquo;s like for those relying on it for paid work right now.</p>
<p>Curious to see where Ghostty ends up, and what impact this has on its contributions.</p>
<p>Related:</p>
<ul>
<li><a href="https://mrshu.github.io/github-statuses/">The Missing GitHub Status Page</a>
</li>
<li><a href="https://lucumr.pocoo.org/2026/4/28/before-github/">Before GitHub</a>
</li>
</ul>]]></content:encoded><source:markdown>
[Ghostty Is Leaving GitHub – Mitchell Hashimoto](https://mitchellh.com/writing/ghostty-leaving-github)

I too have been annoyed by GitHub&#39;s performance lately, and that&#39;s just from using it personally. 

I can&#39;t imagine what&#39;s it&#39;s like for those relying on it for paid work right now.

Curious to see where Ghostty ends up, and what impact this has on its contributions.

Related:
- [The Missing GitHub Status Page](https://mrshu.github.io/github-statuses/)
- [Before GitHub](https://lucumr.pocoo.org/2026/4/28/before-github/)

</source:markdown></item>
  </channel>
</rss>
