[Rt-commit] rt branch 5.0/github-actions-bugfixes deleted. rt-5.0.2-57-g37bb861c70

[BPS Git Server]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "rt".

The branch, 5.0/github-actions-bugfixes has been deleted
       was  37bb861c701f09a50bbf280ef14dff61b1521637

- Log -----------------------------------------------------------------
37bb861c701f09a50bbf280ef14dff61b1521637 Run GitHub actions prove command with -r
-----------------------------------------------------------------------


hooks/post-receive
-- 
rt