GitHub Actionsのcronを使って1週間に1回は最低 `lake update` を実行して依存関係を更新する． 依存関係に変更があり，`lake exe catalogue` の実行に成功した場合はそれをコミットしてPRを立てる． ただしPRが既に経っていてclosedされていない場合はそのPRのタイトルやコミットなどを更新するように．
GitHub Actionsのcronを使って1週間に1回は最低
lake updateを実行して依存関係を更新する．依存関係に変更があり，
lake exe catalogueの実行に成功した場合はそれをコミットしてPRを立てる．ただしPRが既に経っていてclosedされていない場合はそのPRのタイトルやコミットなどを更新するように．