[14:02:40]
<Yunohost Infrastructure> [doc] @yunohost-bot opened pull request #2085: [CI] Helper for debian/11.0.9.12 https://github.com/YunoHost/doc/pull/2085
[14:02:42]
<Yunohost Infrastructure> [doc] @yunohost-bot pushed 1 commit to debian/11.0.9.12: [CI] Helper for debian/11.0.9.12 https://github.com/YunoHost/doc/commit/19d6a219151fdf3482435b55862db4a77aacf9f6
[14:02:43]
<Yunohost Infrastructure> [doc] @yunohost-bot created new branch debian/11.0.9.12
[14:09:39]
<Yunohost Infrastructure> [doc] @ericgaspar pushed 2 commits to master: https://github.com/YunoHost/doc/compare/98a4c87a021b...83b8ffa70efe
[14:09:39]
<Yunohost Infrastructure> [doc] @ericgaspar merged pull request #2085: [CI] Helper for debian/11.0.9.12 https://github.com/YunoHost/doc/pull/2085
[14:09:41]
<Yunohost Infrastructure> [doc/master] [CI] Helper for debian/11.0.9.12 - yunohost-bot
[14:09:41]
<Yunohost Infrastructure> [doc/master] Merge pull request #2085 from YunoHost/debian/11.0.9.12 [CI] Helper for debian/11.0.9.12 - Éric Gaspar