Skip to content

fix(windows): uv pipe closure race condition (#1521) #417

fix(windows): uv pipe closure race condition (#1521)

fix(windows): uv pipe closure race condition (#1521) #417

Workflow file for this run

on: [push, delete]
jobs:
push:
runs-on: ubuntu-latest
if: github.repository == 'ibhagwan/fzf-lua'
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Sync remote repositories
run: |
mkdir -p ~/.ssh
echo "${{ secrets.GIT_SSH_PRIVATE_KEY }}" > ~/.ssh/id_rsa
chmod 600 ~/.ssh/id_rsa
# Ignore hosts keys, since we accept them as-is
git config --global core.sshCommand 'ssh -i ~/.ssh/id_rsa -o IdentitiesOnly=yes -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no'
# Codeberg
git remote add codeberg ssh://[email protected]/ibhagwan/fzf-lua.git
git push --tags --force --prune codeberg 'refs/remotes/origin/*:refs/heads/*'
# GitLab
git remote add gitlab ssh://[email protected]/ibhagwan/fzf-lua.git
git push --tags --force --prune gitlab 'refs/remotes/origin/*:refs/heads/*'