Move homebrew mentions to new repository (#3776)

We are migrating from the kframework organisation to the RV one; this PR
redirects all of our internal usages of the Homebrew tap to the new
location.

.github/workflows/release.yml

@@ -159,7 +159,7 @@ jobs:
         uses: actions/checkout@v3
         id: checkout
         with:
-          repository: kframework/homebrew-k
+          repository: runtimeverification/homebrew-k
           path: homebrew-k
           ref: staging
         continue-on-error: true
@@ -168,7 +168,7 @@ jobs:
         uses: actions/checkout@v3
         if: ${{ steps.checkout.outcome == 'failure' }}
         with:
-          repository: kframework/homebrew-k
+          repository: runtimeverification/homebrew-k
           path: homebrew-k
 
       - name: Cache maven
@@ -235,7 +235,7 @@ jobs:
         uses: actions/checkout@v3
         id: checkout
         with:
-          repository: kframework/homebrew-k
+          repository: runtimeverification/homebrew-k
           path: homebrew-k
           ref: staging
           persist-credentials: false
@@ -245,7 +245,7 @@ jobs:
         uses: actions/checkout@v3
         if: ${{ steps.checkout.outcome == 'failure' }}
         with:
-          repository: kframework/homebrew-k
+          repository: runtimeverification/homebrew-k
           path: homebrew-k
           persist-credentials: false
 
@@ -269,7 +269,7 @@ jobs:
           # test suite, so the PL-tutorial is disabled for now.
           #   - https://github.com/runtimeverification/k/issues/3705
           cd homebrew-k-old
-          brew tap kframework/k "file:///$(pwd)"
+          brew tap runtimeverification/k "file:///$(pwd)"
           brew install ${{ needs.macos-build.outputs.bottle_path }} -v
           # cp -R /usr/local/share/kframework/pl-tutorial ~
           # WD=`pwd`
@@ -311,7 +311,7 @@ jobs:
           cp homebrew-k-old/Formula/kframework.rb homebrew-k/Formula/kframework.rb
           cd homebrew-k
           git commit -m 'Update brew package version' Formula/kframework.rb
-          git remote set-url origin [email protected]:kframework/homebrew-k.git
+          git remote set-url origin [email protected]:runtimeverification/homebrew-k.git
           git push origin master
 
       - name: 'Delete Release'

k-distribution/INSTALL.md

@@ -134,15 +134,15 @@ To directly install the latest K Framework brew package without needing to
 download it separately, do the following:
 
 ```sh
-brew install kframework/k/kframework
+brew install runtimeverification/k/kframework
 ```
 
 Or, to streamline future K Framework upgrades, you can `tap` the K Framework
 package repository. This lets future installations/upgrades/etc... use the
 unprefixed package name.
 
 ```sh
-brew tap kframework/k
+brew tap runtimeverification/k
 brew install kframework
 ```
 

package/macos/brew-build-and-update-to-local-bottle

@@ -3,7 +3,7 @@ package="$1"  ; shift
 version="$1"  ; shift
 root_url="$1" ; shift
 brew update
-brew tap kframework/k "file://$(pwd)"
+brew tap runtimeverification/k "file://$(pwd)"
 brew install $package --build-bottle -v
 brew bottle --json $package --root-url="$root_url/v$version/"
 cat *.bottle.json

package/macos/brew-install-bottle

@@ -1,5 +1,5 @@
 #!/bin/sh -ex
 package="$1" ; shift
 version="$1" ; shift
-brew tap kframework/k "file:///$(pwd)"
+brew tap runtimeverification/k "file:///$(pwd)"
 brew install $package--$version.*.bottle*.tar.gz -v