From a510c47b26b5a33891c4fd402b819816d7bfe973 Mon Sep 17 00:00:00 2001
From: Ed Morley <501702+edmorley@users.noreply.github.com>
Date: Wed, 12 Aug 2020 22:48:59 +0100
Subject: [PATCH] Make etc/publish.sh executable (#1052)

Since otherwise:

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

Closes @W-7952258@.

[skip changelog]
---
 etc/publish.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 etc/publish.sh

diff --git a/etc/publish.sh b/etc/publish.sh
old mode 100644
new mode 100755