yshavit

↗ HN profile [ 53.3 ms ] full profile
Karma
41
Created
October 19, 2022 (3y ago)
Submissions
0
  1. There have been a few times I wanted the ability to select some text out of a Markdown doc. For example, a GitHub CI check to ensure that PRs / issues / etc are properly formatted. This can be done to some extent with…