Match semantic IDs (e.g. KS-10) without requiring OP# prefix

Bare numeric IDs like #10 still require OP# to avoid collision with
Gitea issue numbers. Semantic identifiers (PROJ-42 style) are
unambiguous and matched with or without the prefix, as well as via
full OpenProject URL.

Update the tab empty-state message accordingly.

config/locales/js-en.yml

@@ -46,7 +46,7 @@ en:
           title: Quick snippets for Git
         title: "Pull requests"
       tab_prs:
-        empty: There are no pull requests linked yet. Link an existing PR by using the code <code>OP#%{wp_id}</code> in the PR title/description or create a new PR.
+        empty: There are no pull requests linked yet. Reference this work package in the PR title or description using its ID (e.g. <code>%{wp_id}</code>) or a full OpenProject URL.
       updated_on: Updated on
       work_packages:
         tab_name: "Gitea"

lib/open_project/gitea_integration/engine.rb

@@ -58,7 +58,7 @@ module OpenProject::GiteaIntegration
                   parent: :admin_integrations,
                   if: ->(_) { User.current.admin? },
                   caption: "Gitea",
-                  icon: :"op-logo-gitea"
+                  icon: "git-pull-request"
       end
 
       project_module(:gitea, dependencies: :work_package_tracking) do

lib/open_project/gitea_integration/notification_handler/helper.rb

@@ -30,14 +30,24 @@ module OpenProject::GiteaIntegration
   module NotificationHandler
     module Helper
       def extract_work_package_ids(text)
-        host_name = Regexp.escape(Setting.host_name)
-        wp_id     = WorkPackage::SemanticIdentifier::ID_ROUTE_CONSTRAINT
-        url_part  = /http(?:s?):\/\/#{host_name}\/(?:\S+?\/)*(?:work_packages|wp)\/(#{wp_id})/
+        host_name    = Regexp.escape(Setting.host_name)
+        numeric_id   = /\d+/
+        semantic_id  = WorkPackage::SemanticIdentifier::SEMANTIC_ID_PATTERN
+        any_id       = WorkPackage::SemanticIdentifier::ID_ROUTE_CONSTRAINT
 
-        wp_regex = /OP#(#{wp_id})|#{url_part}/
+        # Full OpenProject URL — matches both numeric and semantic IDs
+        url_part = /http(?:s?):\/\/#{host_name}\/(?:\S+?\/)*(?:work_packages|wp)\/(#{any_id})/
+
+        # OP# prefix — required for bare numeric IDs to avoid collision with
+        # Gitea issue numbers (e.g. "Fix #10" refers to a Gitea issue, not an OP WP)
+        op_prefix_numeric   = /OP#(#{numeric_id})/
+
+        # Semantic identifiers (e.g. KS-10, PROJ-42) are unambiguous enough to
+        # match without any prefix, both with and without OP#
+        op_prefix_semantic  = /(?:OP#)?(#{semantic_id})/
 
         String(text)
-          .scan(wp_regex)
+          .scan(/#{url_part}|#{op_prefix_numeric}|#{op_prefix_semantic}/)
           .filter_map { |groups| groups.compact.first }
           .uniq
       end