Turn off standard CI on documentation branches. Adjust title and body of backport PR.

Author: pikinier20

.github/workflows/ci.yaml

@@ -2,7 +2,12 @@ name: Dotty
 
 on:
   push:
+    branches-ignore:
+      - 'language-reference-stable'
+      - 'language-reference-backport'
   pull_request:
+    branches-ignore:
+      - 'language-reference-stable'
   schedule:
     - cron: '0 3 * * *'  # Every day at 3 AM
   workflow_dispatch:

.github/workflows/language-reference.yaml

@@ -90,4 +90,8 @@ jobs:
           path: dotty
           branch: language-reference-backport
           labels: area:documentation
+          title: Backport changes from stable documentation branch
+          body: This pull request is created automatically after push to stable documentation branch and backports the changes
+          reviewers: pikinier20,julienrf
+          assignees: pikinier20
 

.github/workflows/scaladoc.yaml

@@ -2,7 +2,12 @@ name: scaladoc
 
 on:
   push:
+    branches-ignore:
+      - 'language-reference-stable'
+      - 'language-reference-backport'
   pull_request:
+    branches-ignore:
+      - 'language-reference-stable'
 jobs:
   build:
     env: