Justfile


1
2
3
4
5
6
7
8
9
10
11

push:
    #!/usr/bin/env bash
    set -e
    git switch main
    git push origin
    git push github
    git switch embassy-git
    git merge main
    git push origin
    git push github
    git switch main