From 7021529d5f458e629cdc180567aa456b95c397b8 Mon Sep 17 00:00:00 2001
From: Jose Beneyto <sepen@crux.nu>
Date: Tue, 2 Jan 2024 19:45:16 +0100
Subject: [PATCH] Add httpup stuff and update README. Also add github workflow
 actions

---
 .github/workflows/deploy.yml | 30 ++++++++++++++++++++++++++++++
 .httpup-repgen-ignore        |  7 +++++++
 README.md                    |  2 +-
 jornada7xx-arm.httpup        |  8 ++++++++
 4 files changed, 46 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/deploy.yml
 create mode 100644 .httpup-repgen-ignore
 create mode 100644 jornada7xx-arm.httpup

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
new file mode 100644
index 0000000..cd3a7f1
--- /dev/null
+++ b/.github/workflows/deploy.yml
@@ -0,0 +1,30 @@
+name: deploy
+
+on:
+  push:
+    # Run for all branches except the main branch
+    branches-ignore:
+      - main
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      # Checks-out your repository under $GITHUB_WORKSPACE
+      - uses: actions/checkout@v3
+
+      - name: Update REPO file
+        run: |
+          wget -P /tmp -q https://crux.nu/files/httpup-0.5.0.tar.xz
+          tar -C /tmp -xf /tmp/httpup-0.5.0.tar.xz httpup-0.5.0/httpup-repgen
+          /tmp/httpup-0.5.0/httpup-repgen
+          git add REPO
+
+      - name: Push to remote
+        run: |
+          git config user.name "$(git log -n 1 --pretty=format:%an)"
+          git config user.email "$(git log -n 1 --pretty=format:%ae)"
+          bash -c "git commit -a -m '[auto] Update REPO file' && git push || exit 0"
diff --git a/.httpup-repgen-ignore b/.httpup-repgen-ignore
new file mode 100644
index 0000000..71f34c4
--- /dev/null
+++ b/.httpup-repgen-ignore
@@ -0,0 +1,7 @@
+README.md
+\.git*
+*~
+\.*~
+^jornada7xx\-arm\.httpup
+*work
+*.pkg.*
diff --git a/README.md b/README.md
index 591c187..f436fda 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@ CRUX-ARM ports overlay for HP Jornada 710/720/728
 
 To use these ports, download the `jornada7xx-arm.httpup` file to `/etc/ports`:
 ```
-$ sudo wget -P /etc/ports https://raw.githubusercontent.com/crux-arm/crux-ports-jornada7xx-arm/main/jornada7xx-arm.httpup
+$ sudo wget -P /etc/ports https://raw.githubusercontent.com/crux-arm/crux-ports-jornada7xx-arm/2.6/jornada7xx-arm.httpup
 $ sudo ports -u jornada7xx-arm
 ```
 
diff --git a/jornada7xx-arm.httpup b/jornada7xx-arm.httpup
new file mode 100644
index 0000000..2453a6d
--- /dev/null
+++ b/jornada7xx-arm.httpup
@@ -0,0 +1,8 @@
+#
+# /etc/ports/jornada7xx-arm.httpup: CRUX-ARM ports overlay for HP Jornada 710/720/728
+#
+
+ROOT_DIR=/usr/ports/jornada7xx-arm
+URL=https://raw.githubusercontent.com/crux-arm/crux-ports-jornada7xx-arm/2.6/
+
+# End of file