GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnome-extra
/
gnome-shell-extension-pop-shell
Commit message (
Expand
)
Author
Age
Files
Lines
*
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20231110
Pacho Ramos
2023-11-12
2
-0
/
+62
*
gnome-extra/gnome-shell-extension-pop-shell: drop old
Philipp Rösner
2023-07-21
3
-126
/
+0
*
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20230626
Philipp Rösner
2023-07-21
2
-0
/
+63
*
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20220928
Philipp Rösner
2022-10-11
2
-0
/
+63
*
gnome-extra/gnome-shell-extension-pop-shell: drop myself as a maintainer
Georgy Yakovlev
2022-09-21
1
-4
/
+1
*
gnome-extra/gnome-shell-extension-pop-shell: [QA] fix duplicate phase (pkg_po...
Sam James
2022-08-01
2
-4
/
+4
*
**/metadata.xml: Replace http by https in DOCTYPE element
Ulrich Müller
2021-09-11
1
-1
/
+1
*
gnome-extra/gnome-shell-extension-pop-shell: fix copyright years
Georgy Yakovlev
2021-07-28
2
-2
/
+2
*
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20210727
Georgy Yakovlev
2021-07-28
2
-0
/
+63
*
gnome-extra/gnome-shell-extension-pop-shell: initial import
Georgy Yakovlev
2021-06-03
3
-0
/
+75