sync gee repo #9
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: sync gee repo | |
| on: | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - name: grant access | |
| env: | |
| GIT_COOKIE_VALUE: ${{ secrets.GIT_COOKIE_VALUE }} | |
| run: | | |
| touch ~/.gitcookies | |
| chmod 0600 ~/.gitcookies | |
| echo earthengine.googlesource.com,FALSE,/,TRUE,2147483647,o,${GIT_COOKIE_VALUE} | tr , \\t >>~/.gitcookies | |
| git config --global http.postBuffer 157286400 | |
| - name: config git | |
| run: | | |
| git config --global http.cookiefile ~/.gitcookies | |
| git config --global user.email "[email protected]" | |
| git config --global user.name "githubActionAutoMerge" | |
| git config --global pull.rebase false | |
| - name: sync gee git repo | |
| env: | |
| GEE_REPO: ${{ secrets.GEE_REPO }} | |
| run: | | |
| # Create the gee-repo directory if it doesn't exist | |
| mkdir -p gee-repo | |
| cd gee-repo | |
| # Initialize as a Git repo only if it's not already one | |
| if [ ! -d ".git" ]; then | |
| git init | |
| fi | |
| # Add the remote only if it hasn't been added before | |
| if ! git remote | grep -q 'origin'; then | |
| git remote add origin https://earthengine.googlesource.com/${GEE_REPO} | |
| fi | |
| # Pull the latest changes from the external GEE_REPO | |
| git pull https://earthengine.googlesource.com/${GEE_REPO} master --allow-unrelated-histories || bash -c "git checkout --theirs . ; git add -u ; git commit -m 'autoMerge'" | |
| # Push the changes back to the external GEE_REPO if there were any; ideally this won't change anything | |
| # git push https://earthengine.googlesource.com/${GEE_REPO} master | |
| # Commit any changes that were pulled into gee-repo | |
| git add . | |
| git commit -m "Update gee-repo with latest changes from GEE_REPO" | |
| # Push the commit to the main GitHub repository | |
| git push origin HEAD:main |