Switch Jython repos.

ponder-lab · May 22, 2023 · 20052de · 20052de
1 parent 8167101
commit 20052de
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -22,10 +22,10 @@ jobs:
         repository: wala/IDE
         # fetch-depth: 50
         path: ./IDE
-    - name: Checkout juliandolby/jython3 sources.
+    - name: Checkout ponder-lab/jython3 sources.
       uses: actions/checkout@v3.5.2
       with:
-        repository: juliandolby/jython3
+        repository: ponder-lab/jython3
         path: ./jython3
     - name: Install Jython3.
       run: |

diff --git a/.travis.yml b/.travis.yml
@@ -4,7 +4,7 @@ language: java
 jdk: openjdk11
 before_install:
  - git clone --depth=50 https://github.com/wala/IDE /tmp/IDE
- - git clone https://github.com/juliandolby/jython3.git /tmp/jython3
+ - git clone https://github.com/ponder-lab/jython3.git /tmp/jython3
 install:
  - pushd /tmp/jython3
  - ant