ci: run only if not in pull request

.github/workflows/gimi.yml

@@ -0,0 +1,37 @@
+name: gimi
+on: [push, delete]
+
+jobs:
+  sync:
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+        if: github.event_name != 'pull_request'
+        with:
+          fetch-depth: 0
+      - if: github.event_name != 'pull_request'
+        run: |
+          set +x
+
+          mkdir ~/.ssh -p
+
+          git remote add gimi-sourcehut git@git.sr.ht:~hyro/zed-discord-presence
+          ssh-keyscan git.sr.ht >> ~/.ssh/known_hosts
+          echo -e "$SOURCEHUT" >> ~/.ssh/gimi-sourcehut
+          chmod 600 ~/.ssh/gimi-sourcehut
+          echo -e "Host git.sr.ht\nUser git\nIdentityFile ${HOME}/.ssh/gimi-sourcehut" >> ~/.ssh/config
+          git push -f --all gimi-sourcehut
+          git push -f --tags gimi-sourcehut
+
+          git remote add gimi-codeberg git@codeberg.org:xHyroM/zed-discord-presence.git
+          ssh-keyscan codeberg.org >> ~/.ssh/known_hosts
+          echo -e "$CODEBERG" >> ~/.ssh/gimi-codeberg
+          chmod 600 ~/.ssh/gimi-codeberg
+          echo -e "Host codeberg.org\nUser git\nIdentityFile ${HOME}/.ssh/gimi-codeberg" >> ~/.ssh/config
+          git push -f --all gimi-codeberg
+          git push -f --tags gimi-codeberg
+
+          set -x
+        env:
+          SOURCEHUT: ${{ secrets.SOURCEHUT }}
+          CODEBERG: ${{ secrets.CODEBERG }}

README.md

@@ -9,11 +9,19 @@ The easiest way to get [rust](https://rust-lang.org) is by using [rustup](https:
 
 ### How to install?
 
+Since [zed-industries/extensions#1217](https://github.com/zed-industries/extensions/pull/1217) has been merged, you can simply download the extension in <kbd>zed: extensions</kbd>.
+Don't forget to give at least a ⭐ if you like this project :D
+
+<details>
+<summary>Dev installation</summary>
+
 1. Clone this repository
 2. <kbd>CTRL</kbd> + <kbd>SHIFT</kbd> + <kbd>P</kbd> and select <kbd>zed: install dev extension</kbd>
 3. Choose the directory where you cloned this repository
 4. Enjoy :)
 
+</details>
+
 ## How to configure?
 
 You can configure state, details and git integration by changing Discord Presence LSP settings. This can be done in <kbd>zed: open settings</kbd> with following configuration: