Merge branch 'dev' into stage

Author: zaro0508

.github/workflows/aws-deploy.yaml

@@ -38,6 +38,8 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3
+        with:
+          ref: ${{ inputs.environment }}
       - name: Install AWS CLI
         run: sudo snap install aws-cli --classic
       - name: Install AWS CDK CLI

.github/workflows/deploy-dev.yaml

@@ -20,7 +20,7 @@ repos:
     hooks:
       - id: yamllint
   - repo: https://github.com/awslabs/cfn-python-lint
-    rev: v1.20.1
+    rev: v1.22.3
     hooks:
       - id: cfn-python-lint
         args:

.pre-commit-config.yaml

@@ -314,11 +314,9 @@ OpenChallenges app.
 
 The workflow for continuous integration:
 
-* Create PR from the git dev branch
+* Create PR from the git stage branch
 * PR is reviewed and approved
 * PR is merged
-* CI deploys changes to the dev environment (dev.openchallenges.io) in the org-sagebase-openchallenges-dev account.
-* Changes are promoted (or merged) to the git stage branch.
 * CI deploys changes to the staging environment (stage.openchallenges.io) in the org-sagebase-openchallenges-prod account.
 * Changes are promoted (or merged) to the git prod branch.
 * CI deploys changes to the prod environment (prod.openchallenges.io) in the org-sagebase-openchallenges-prod account.