From 7bce1bfb35c32299c51dd0846733fe926d375707 Mon Sep 17 00:00:00 2001
From: Andrew Tavis McAllister
Date: Tue, 31 Oct 2023 09:17:19 +0100
Subject: [PATCH] =?UTF-8?q?#420=20=F0=9F=8C=BF=20minor=20formatting=20fixe?=
=?UTF-8?q?s=20and=20remove=20mypy=20backend=20ci=20reference?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
.github/workflows/pr_ci_backend.yaml | 3 ---
CONTRIBUTING.md | 2 ++
README.md | 2 ++
3 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/pr_ci_backend.yaml b/.github/workflows/pr_ci_backend.yaml
index fbaa1a39b..c1be5d72a 100644
--- a/.github/workflows/pr_ci_backend.yaml
+++ b/.github/workflows/pr_ci_backend.yaml
@@ -34,6 +34,3 @@ jobs:
- name: Run ruff - Linting and import sorting check
run: ruff ./backend
continue-on-error: true
-
- - name: Run mypy - Static Type Checking
- run: mypy ./backend --config-file ./backend/mypy.ini
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 83b1f165c..dc302aa36 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -158,9 +158,11 @@ activist is very open to contributions from people in the early stages of their
> Alternatively to using HTTPS as in the instructions below, consider SSH to interact with GitHub from the terminal. SSH allows you to connect without a user-pass authentication flow.
>
> To run git commands with SSH, remember then to substitute the HTTPS URL, `https://github.com/...`, with the SSH one, `git@github.com:...`.
+ >
> - e.g. Cloning now becomes `git clone git@github.com:/activist.git`
>
> GitHub also has their documentation on how to [Generate new SSH key](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent). 🔑
+ >
>
>
diff --git a/README.md b/README.md
index 690487455..4e5c80015 100644
--- a/README.md
+++ b/README.md
@@ -137,9 +137,11 @@ Note that the Figma file above is the [public facing designs](https://www.figma.
> Alternatively to using HTTPS as in the instructions below, consider SSH to interact with GitHub from the terminal. SSH allows you to connect without a user-pass authentication flow.
>
> To run git commands with SSH, remember then to substitute the HTTPS URL, `https://github.com/...`, with the SSH one, `git@github.com:...`.
+ >
> - e.g. Cloning now becomes `git clone git@github.com:/activist.git`
>
> GitHub also has their documentation on how to [Generate new SSH key](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent). 🔑
+ >
>
>