gemmaro さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

Protected branch, push always granted: github.com/gitbucket/gitbucket

仕様についての質問っぽいので観察
リポジトリ -> Settings -> Branches -> Protected branches の説明に以下があり、単にpushする権限は保護されていないと読める

> Protect branches to disable force pushing, prevent branches from being deleted, and optionally, require status checks before merging.

一方で柔軟に保護レベルを設定できると嬉しそうではある

体調不良の原因が食中毒だと仮定して、何に当たったのだろう……
普段から見切り品の食材ばかり買っていて、容疑者が多すぎる

お薬すごい。熱がほぼ引いた

いつか登山したいな
いつになるか……

... もっと見る

ほうれん草のおひたしを作った
塩が少し効きすぎていたのと、もう少し1回分の量を多めにしてもよさそう

プルリクは19日前だったからかなり直近で入ったようだ
github.com/neovim/nvim-lspconf

インストールできた
idrisとidris2apiは適切なバージョンを使うことに注意する
:neovim: にデフォルト設定が来ていた。ありがたい
これで書いているときのミスに気付きやすくなるだろう
github.com/neovim/nvim-lspconf

idris2-lspインストールの失敗原因がよくわからない
idris2apiが少し怪しい

なぜか休館日も開館日として予定に登録されてしまっている……
直さなければ

近所の図書館のWeb上のカレンダーからiCalendarを毎月生成するGitLab CIを開始した
購読はできないようだ(どういう仕組みになっているのだろう)

LaTeXのこと全部忘れた……

編集可能な局面図の型を通常の局面図の型と分離する意味がわかんなくなってきた
前者のメソッドで定義してもいいけど、後者で内部的に使いそう
可視性をいじるのはスマートに感じない

talk.commonmark.org/t/adding-l
Markdownに使われている言語を表現する方法の追加について
DocBookならxml:langでできるのだが、Markdownではファイルの中身で記法的に解決できるかどうか
メタデータブロックはCommonMarkにはないが、これが有効になればlang: {{lang}} のように指定できるようになるかもしれないが
コメントで挙げられている回避策は次の2つ
* ファイル名に含める
* メタデータブロックに含める

何がいいって、既存の資産が何の苦労もなく手に入るので……
でも自炊できるようになりたいのはある

XSLT楽だ……
闇落ちしそう

''.concat(...a) より a.join('') のが、大きい配列に対して頑強なのか
github.com/idris-lang/Idris2/p

Crystal v1.2.0が来た。以前の修正も取り込まれたようだ