Write permission, remove failing macos and fix download badge

mgrojo · Nov 16, 2023 · 878fe33 · 878fe33
1 parent 838f444
commit 878fe33
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,6 +7,8 @@ on:
   pull_request:
     branches: [ main ]
 
+permissions: write-all
+
 jobs:
   build:
     name: CI on ${{ matrix.os }}
@@ -15,7 +17,7 @@ jobs:
 
     strategy:
       matrix:
-        os: [macos-latest, ubuntu-latest]
+        os: [ubuntu-20.04, ubuntu-latest]
 
     steps:
        - name: Checkout

diff --git a/README.md b/README.md
@@ -3,8 +3,6 @@
 [![Download][download-img]][download]
 
 
-[![Gitter chat](https://badges.gitter.im/gitterHQ/gitter.png)](https://gitter.im/ada-lang/Lobby)
-
 `open_url` is a small utility to open "*.url" files under GNU/Linux.
 
 These files are Ini files used in Windows, which have this format:
@@ -44,3 +42,7 @@ chmod +x open_url
 ```
 Usage: open_url <file.url>
 ```
+
+
+  [download-img]: https://img.shields.io/github/downloads/mgrojo/open_url/total.svg
+  [download]: https://github.com/mgrojo/open_url/releases