git-annex: hide PR banner for special branches

This hides the banner you can see on a repositories page that proposes
to open a PR for your branch if you recently pushed to said branch, but
only if that branch is named git-annex or starts with synced/.

Author: matrss

models/git/branch.go

@@ -394,6 +394,8 @@ func FindRecentlyPushedNewBranches(ctx context.Context, repoID, userID int64, ex
 	err := db.GetEngine(ctx).
 		Where("pusher_id=? AND is_deleted=?", userID, false).
 		And("name <> ?", excludeBranchName).
+		And("name <> ?", "git-annex").
+		And("NOT name LIKE ?", "synced/%").
 		And("repo_id = ?", repoID).
 		And("commit_time >= ?", time.Now().Add(-time.Hour*6).Unix()).
 		NotIn("name", subQuery).