mastodon.zunda.ninja is one of the many independent Mastodon servers you can use to participate in the fediverse.
Zundon is a single user instance as home of @zundan as well as a test bed for changes of the code.

Administered by:

Server stats:

1
active users

そういえば僕のOpenPGP公開鍵は https://github.com/zunda.gpg からでも取得できるな。これはどうしたんだっけなと思ったら https://github.com/settings/keys からアップロードしたんだなって期限切れじゃんかー。アップロードしなおしておこう。

zunda

期限切れになった鍵をいったん削除する必要があった。削除する鍵をまちがいたらこわいね。

GitHubのUIでは主鍵と副鍵のID(有効期限を延長すると変わるみたい)しか教えてくれないので、タイトル欄に公開鍵のIDを追記しておいたよ。

GitHubに公開鍵を再アップロードして有効期限を延長しても過去のコミットの有効期限切れ警告がなくなるわけではないみたい。てか有効期限切れ警告もらってたんだw

@zundan 署名しなおして force push しないといけないんじゃないかと思います(ちゃんとやるなら

@kakkun61 署名に使った副鍵は、有効期限を更新してアップロードしたものとは違う副鍵として扱われてる感じなんですねー、きっと