devel #20

Merged
inhji merged 6 commits from devel into main 2023-03-27 12:22:30 +02:00
Showing only changes of commit 1fcc71725c - Show all commits

View file

@ -1,7 +1,7 @@
#!/usr/bin/env bash
echo "Pulling latest changes.."
git pull
git pull origin main
echo "Updating mix dependencies.."
mix deps.get --only prod