Adding [email protected] package to registry via mason publish

Signed-off-by: Jeremiah Corrado <[email protected]>

.github/workflows/masonRegCI.yaml

@@ -15,11 +15,10 @@ jobs:
       - name: Run checkTomlScript
         run: |
           bash ./checkTomls.bash
-      - name: Reconfigure git to use HTTPS
-        run: >
-          git config --global url."https://github.com/".insteadof
-          ssh://[email protected]/
+      # - name: Reconfigure git to use HTTPS
+      #   run: |
+      #     git config --global url."[email protected]:".insteadOf https://github.com/
+      #     git config --global url."git://".insteadOf https://
       - name: CI Check package
         run: |
           bash ./util/runMasonCI.bash
-

Bricks/Downsampling/0.1.0.toml

@@ -0,0 +1,11 @@
+
+[brick]
+chplVersion = "2.1.0"
+license = "None"
+name = "Downsampling"
+source = "[email protected]:jeremiah-corrado/chpl-downsample.git"
+type = "library"
+version = "0.1.0"
+
+[dependencies]
+

util/runMasonCI.bash

@@ -25,7 +25,7 @@ makeCheckAndMason () {
 # Parses the last merge commit, getting the most recent package added to the registry
 checkPackage () {
   cd ..
-  package=$(git diff --name-only HEAD HEAD~1)
+  package=$(git diff --name-only HEAD HEAD~1 | grep -E '.*\.toml')
   end=".end"
   path="$package$end"
   cd "$(dirname "$path")" || exit 1
@@ -40,6 +40,8 @@ checkPackage () {
   echo "source value: $source"
   # Strips the quotes off of the source
   fixed=$(echo "$source" | tr -d '"' | awk '{$1=$1};1')
+  htthg="https://github.com/"
+  fixed=$"{fixed/[email protected]:/$htthg}"
   echo "adjusted source to 'fixed' value: $fixed"
   # Clones the source
   git clone "$fixed" newPackage
@@ -57,4 +59,3 @@ mason update
 
 mason publish --ci-check
 exit $?
-