3 ms·

Just made a PR

• magicalhippo 1y ago
  I considered it, but had to go to work and I figured since the last commit was over 4 years ago it might just sit there idly, so I skipped it. But no, PR was merged in short order. Lesson learned.
• cabirum 1y ago
  Hn shows this story is 3 hours old, yet your GitHub PR was made 2 days ago, linking here?
  • pansa2 1y ago
    The story has been reposted to HN via the “second-chance pool”, which resets the dates. https://news.ycombinator.com/item?id=26998308 https://news.ycombinator.com/item?id=26998308