<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Github on Luis Tineo</title><link>https://www.kingletas.com/tags/github/</link><description>Recent content in Github on Luis Tineo</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Fri, 02 Oct 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://www.kingletas.com/tags/github/index.xml" rel="self" type="application/rss+xml"/><item><title>Merge a few PRs while the coffee brews</title><link>https://www.kingletas.com/posts/2026/merge-a-few-prs-while-the-coffee-brews/</link><pubDate>Fri, 02 Oct 2026 00:00:00 +0000</pubDate><guid>https://www.kingletas.com/posts/2026/merge-a-few-prs-while-the-coffee-brews/</guid><description>A Friday short: one zsh line that merges pull requests across several repositories, the trap waiting in bash, and the fix when you merge the wrong one.</description></item></channel></rss>