Send email notification when documentation/website repo lack proper tag on top

[marmarek]

We have a script to automatically update submodules of qubesos.github.io repo, if submodule change is properly signed. It should send an email when a module is not signed properly (to the author of unsigned change).
The script is here: https://github.com/QubesOS/qubesos.github.io/blob/master/_utils/update-submodules

[andrewdavidwong]

Does this happen often (commit pushed to submodule without proper tag)?

I often "lazy sign" pull requests (i.e., merge via web interface, then later add signed tag and push tag via cmdline), but usually just a few minutes later.

[andrewdavidwong]

Does this happen often (commit pushed to submodule without proper tag)?

I often "lazy sign" pull requests (i.e., merge via web interface, then later add signed tag and push tag via cmdline), but usually just a few minutes later.

[marmarek]

Does this happen often (commit pushed to submodule without proper tag)?

Few times a month. But when it happens, it isn't obvious why the website isn't updated, without looking to the log on my PC...

[marmarek]

Does this happen often (commit pushed to submodule without proper tag)?

Few times a month. But when it happens, it isn't obvious why the website isn't updated, without looking to the log on my PC...