[aur-requests] [PRQ#7514] Merge Request for gnome-shell-extension-workspace-grid

zakkak [1] filed a request to merge gnome-shell-extension-workspace- grid [2] into gnome-shell-extension-workspace-grid-git [3]: This is a git package and I was asked to rename it to gnome-shell- extension-workspace-grid-git [1] https://aur.archlinux.org/account/zakkak/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-workspace-grid/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-workspace-grid-git/