Skip to content

Update customize gnome#1135

Merged
ahoneybun merged 10 commits into
masterfrom
update-customize-gnome
Sep 15, 2023
Merged

Update customize gnome#1135
ahoneybun merged 10 commits into
masterfrom
update-customize-gnome

Conversation

@ahoneybun

Copy link
Copy Markdown
Contributor

This addresses these issues:

#944
#940

@ahoneybun ahoneybun requested review from a team and thomas-zimmerman May 24, 2023 17:36
Comment thread content/customize-gnome.md Outdated
Aaron Honeycutt and others added 3 commits May 24, 2023 11:41
extend note on Dash-to-Dock and Cosmic-Dock
@ahoneybun ahoneybun requested a review from leviport May 25, 2023 17:42

@thomas-zimmerman thomas-zimmerman left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good clean up

@ahoneybun ahoneybun requested review from a team and leviport and removed request for a team and leviport September 14, 2023 12:47

@leviport leviport left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One gripe, otherwise looks good

Comment thread content/customize-gnome.md Outdated
Comment thread content/customize-gnome.md Outdated

@thomas-zimmerman thomas-zimmerman left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review in npm looks good.

@ahoneybun ahoneybun merged commit b931645 into master Sep 15, 2023
@ahoneybun ahoneybun deleted the update-customize-gnome branch September 15, 2023 16:43
erinxocon pushed a commit that referenced this pull request Jun 23, 2026
* Update Pop!_OS spelling and add notes

* Remove Gnomenu as it does not support GNOME 42

* Remove Extension Update Notifier as it is no longer supported and it is built into extensions.gnome.org now

* Fix lint issue

* Address feedback

* Update customize-gnome.md

extend note on Dash-to-Dock and Cosmic-Dock

* Address feedback

* Fix Pop spelling

---------

Co-authored-by: Aaron Honeycutt <aaronhoneycutt@proton.me>
Co-authored-by: thomas-zimmerman <41023059+thomas-zimmerman@users.noreply.github.com>
erinxocon pushed a commit that referenced this pull request Jun 23, 2026
* Update Pop!_OS spelling and add notes

* Remove Gnomenu as it does not support GNOME 42

* Remove Extension Update Notifier as it is no longer supported and it is built into extensions.gnome.org now

* Fix lint issue

* Address feedback

* Update customize-gnome.md

extend note on Dash-to-Dock and Cosmic-Dock

* Address feedback

* Fix Pop spelling

---------

Co-authored-by: Aaron Honeycutt <aaronhoneycutt@proton.me>
Co-authored-by: thomas-zimmerman <41023059+thomas-zimmerman@users.noreply.github.com>
erinxocon pushed a commit that referenced this pull request Jun 23, 2026
* Update Pop!_OS spelling and add notes

* Remove Gnomenu as it does not support GNOME 42

* Remove Extension Update Notifier as it is no longer supported and it is built into extensions.gnome.org now

* Fix lint issue

* Address feedback

* Update customize-gnome.md

extend note on Dash-to-Dock and Cosmic-Dock

* Address feedback

* Fix Pop spelling

---------

Co-authored-by: Aaron Honeycutt <aaronhoneycutt@proton.me>
Co-authored-by: thomas-zimmerman <41023059+thomas-zimmerman@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants