Skip to content

Commit

Permalink
Merge #22
Browse files Browse the repository at this point in the history 
22: OP-1903: Correcting mode of push_docker.sh r=sacherjj a=sacherjj

It helps when the script is executable...

Co-authored-by: Joe Sacher <[email protected]>
  • Loading branch information
@bors @sacherjj
bors[bot] and sacherjj authored Mar 10, 2021
2 parents 56493b4 + 79b8fd9 commit d41a266
Showing 1 changed file with 0 additions and 0 deletions.
Empty file modified ci/push_docker.sh
100644 → 100755
View file
Empty file.

0 comments on commit d41a266

Please sign in to comment.