Github Merge Queueの何が嬉しいのか
Posted 17. July 2023
2023/7/12にGithub Merge QueueがGAになりました。
https://github.blog/changelog/2023-07-12-pull-request-merge-queue-is-now-generally-available/ ...
READ MORE
Time to read 7 min
Posted 17. July 2023
2023/7/12にGithub Merge QueueがGAになりました。
https://github.blog/changelog/2023-07-12-pull-request-merge-queue-is-now-generally-available/ ...
Time to read 7 min
Posted 30. October 2022
先日、Notionから自動的に自ブログの記事更新分を自動commit&pushしてpull requestを作成してくれるツールを作りました。
Time to read 5 min
Posted 24. February 2020
先日、githubの公式CLIツールがbeta版としてリリースされた。
githubはGUIでしか基本使わなかったので当然CLIもあるものと勝手に考えていたが、これまでGithubのCLIは「Hub」という非公式ツールがデファクトになっていたらしい。 ...
Time to read 3 min
Posted 11. February 2020
最近、長らく使っていたエンジニア向けノートアプリ「Boostnote」がリニューアルされた。それによってリポジトリも新しくなったみたいで、ソースコードもほぼ別物になったっぽい。実際に使ってみると色々バグも多くて、これはプルリクチャンスか?と思い、解決できるissueが無いか探してみた。
使ってみて真っ先に目についたバグが、テーブルのmarkdownプレビューがテーマによって真っ白になってしまう事象。
!--more--> ...Time to read 1 min