Check that version.py is updated on merges to master

.github/workflows/require_release_branch.yml

@@ -12,3 +12,13 @@ jobs:
         run: |
           echo "ERROR: You can only merge to master from dev. Contributors should point their PRs to the dev branch."
           exit 1
+
+      - uses: actions/checkout@v3
+        if: github.base_ref == 'master'
+        with:
+          fetch-depth: 0
+
+      - name: Check version.py
+        if: github.base_ref == 'master'
+        run: |
+          git diff --name-only origin/master | grep -q version.py || (echo "Need to change version for pushes to master!" && exit 1)

data/config/__init__.py

@@ -6,7 +6,7 @@
 from data import status
 from data.config.color import Color
 from data.config.layout import Layout
-from data.time import TIME_FORMAT_12H, TIME_FORMAT_24H
+from data.time_formats import TIME_FORMAT_12H, TIME_FORMAT_24H
 from utils import deep_update
 
 SCROLLING_SPEEDS = [0.3, 0.2, 0.1, 0.075, 0.05, 0.025, 0.01]

data/scoreboard/pregame.py

@@ -1,7 +1,7 @@
 import tzlocal
 
 from data.game import Game
-from data.time import TIME_FORMAT_12H
+from data.time_formats import TIME_FORMAT_12H
 
 PITCHER_TBD = "TBD"
 

renderers/offday.py

@@ -4,7 +4,7 @@
 
 import PIL.Image
 
-from data.time import TIME_FORMAT_12H
+from data.time_formats import TIME_FORMAT_12H
 from data.config.color import Color
 from data.config.layout import Layout
 from data.headlines import Headlines

version.py

@@ -1,5 +1,5 @@
 SCRIPT_NAME = "MLB LED Scoreboard"
-SCRIPT_VERSION = "6.3.2"
+SCRIPT_VERSION = "6.3.4"
 
 
 if __name__ == "__main__":