search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
313 stars 27 forks source link

chore(deps): update gnome shell container images to v2023.12.05.0 #690

Closed renovate[bot] closed 11 months ago

renovate[bot] commented 11 months ago

Mend Renovate

This PR contains the following updates:

Package Update Change
ghcr.io/ddterm/gnome-shell-pod/archlinux patch 2023.12.02.0 -> 2023.12.05.0
ghcr.io/ddterm/gnome-shell-pod/fedora-39 patch 2023.12.02.0 -> 2023.12.05.0
ghcr.io/ddterm/gnome-shell-pod/ubuntu-23.10 patch 2023.12.02.0 -> 2023.12.05.0

Release Notes

ddterm/gnome-shell-pod (ghcr.io/ddterm/gnome-shell-pod/archlinux) ### [`v2023.12.05.0`](https://togithub.com/ddterm/gnome-shell-pod/compare/2023.12.02.0...2023.12.05.0) [Compare Source](https://togithub.com/ddterm/gnome-shell-pod/compare/2023.12.02.0...2023.12.05.0)

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

â™» Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

This PR has been generated by Mend Renovate. View repository job log here.