Change to the pattern in the user check of the ignore config

src/main/java/org/hibernate/infra/bot/CheckPullRequestContributionRules.java

@@ -246,7 +246,7 @@ private boolean shouldCheckPullRequest(PullRequestCheckRunContext context) throw
 			GHUser author = context.pullRequest.getUser();
 			String title = context.pullRequest.getTitle();
 			for ( RepositoryConfig.IgnoreConfiguration ignore : ignoredPRConfigurations ) {
-				if ( ignore.getUser().equals( author.getLogin() )
+				if ( ignore.getUserPattern().matcher( author.getLogin() ).matches()
 						&& ignore.getTitlePattern().matcher( title ).matches() ) {
 					return false;
 				}

src/main/java/org/hibernate/infra/bot/config/RepositoryConfig.java

@@ -67,15 +67,15 @@ public void setIgnoreFiles(List<String> ignoreFiles) {
 
 	public static class IgnoreConfiguration {
 
-		private String user;
+		private Pattern userPattern;
 		private Pattern titlePattern;
 
-		public String getUser() {
-			return user;
+		public Pattern getUserPattern() {
+			return userPattern;
 		}
 
-		public void setUser(String user) {
-			this.user = user;
+		public void setUserPattern(String userPattern) {
+			this.userPattern = Patterns.compile( userPattern );
 		}
 
 		public Pattern getTitlePattern() {

src/test/java/org/hibernate/infra/bot/tests/CheckPullRequestContributionRulesJiraTest.java

@@ -286,7 +286,7 @@ void ignore_dependabotOpensBuildDependencyUpgradePullRequest() throws IOExceptio
 									jira:
 									  projectKey: "HSEARCH"
 									  ignore:
-									    - user: dependabot[bot]
+									    - userPattern: dependabot\\[bot\\]
 									      titlePattern: ".*\\\\bmaven\\\\b.*\\\\bplugin\\\\b.*"
 									""" );