ci: manually update deps

This commit is contained in:
mudler 2023-05-04 15:01:29 +02:00
parent 885642915f
commit ebcd10d66f
3 changed files with 51 additions and 32 deletions

9
.github/bump_deps.sh vendored Executable file
View file

@ -0,0 +1,9 @@
#!/bin/bash
set -xe
REPO=$1
BRANCH=$2
VAR=$3
LAST_COMMIT=$(curl -s -H "Accept: application/vnd.github.VERSION.sha" "https://api.github.com/repos/$REPO/commits/$BRANCH")
sed -i Makefile -e "s/$VAR?=.*/$VAR?=$LAST_COMMIT/"