Replace references of devel with development in prep for change of branch name

Signed-off-by: Adam Warner <me@adamwarner.co.uk>

.github/workflows/codeql.yml

@@ -4,13 +4,13 @@ on:
   push:
     branches:
       - master
-      - devel
+      - development
       - "!dependabot/**"
   pull_request:
     # The branches below must be a subset of the branches above
     branches:
       - master
-      - devel
+      - development
   schedule:
     - cron: "0 0 * * 0"
 

.github/workflows/sync-back-to-dev.yml

@@ -13,6 +13,6 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4.1.7
       - name: Opening pull request
-        run: gh pr create -B devel -H master --title 'Sync master back into development' --body 'Created by Github action' --label 'internal'
+        run: gh pr create -B development -H master --title 'Sync master back into development' --body 'Created by Github action' --label 'internal'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/test.yml

@@ -3,7 +3,7 @@ name: Tests
 on:
   push:
     branches:
-      - devel
+      - development
       - master
   pull_request:
     branches: