~hauleth/BARE-Erlang

cb6ff7b7fc5025b0d3157ffa34d929ef16e2be71 — Łukasz Niemier 1 year, 8 months ago 31d4836 master
chore: ignore GitHub PRs when mirroring repository
1 files changed, 1 insertions(+), 0 deletions(-)

M .build.yml
M .build.yml => .build.yml +1 -0
@@ 6,6 6,7 @@ tasks:
      cd BARE-Erlang
      nix-shell --command 'rebar3 proper'
  - mirror: |
      if [ ! -z "$GITHUB_PR_NUMBER" ]; then exit 0; fi
      echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts
      cd BARE-Erlang
      git push --force --all git@github.com:hauleth/bare-erlang