Make etc/publish.sh executable (#1052)

Since otherwise:

```
$ ./etc/publish.sh
-bash: ./etc/publish.sh: Permission denied
```

Closes @W-7952258@.

[skip changelog]
This commit is contained in:
Ed Morley
2020-08-12 22:48:59 +01:00
committed by GitHub
parent 1972e6094e
commit a510c47b26
Regular → Executable
View File