Merge branch 'main' into update-bluemonday

Author: 6543

options/locale/locale_pt-PT.ini

@@ -1377,9 +1377,9 @@ pulls.tab_files=Ficheiros modificados
 pulls.reopen_to_merge=Reabra este pedido de integração para executar uma integração.
 pulls.cant_reopen_deleted_branch=Este pedido de integração não pode ser reaberto porque o ramo foi eliminado.
 pulls.merged=Integrado
-pulls.merged_as=A integração foi executada como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
+pulls.merged_as=A integração foi executada no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
 pulls.manually_merged=Integrado manualmente
-pulls.manually_merged_as=A integração foi executada manualmente como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
+pulls.manually_merged_as=A integração foi executada manualmente no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
 pulls.is_closed=O pedido de integração foi fechado.
 pulls.has_merged=A integração foi executada.
 pulls.title_wip_desc=`<a href="#">Inicie o título com <strong>%s</strong></a> para evitar que a integração seja executada acidentalmente.`