On Tue, 2022-09-13 at 09:00 -0500, Michael Catanzaro wrote:
> I would make the criterion a little more generic than that. E.g. we
> don't want to block Fedora release if https://extensions.gnome.org/
> goes down due to a server problem, or if GNOME decides to change the
> way extension installat
On Tue, 2022-09-13 at 15:42 -0400, Chris Murphy wrote:
>
> Discussed at the meeting today, and we definitely want this to work,
> and appreciate the bug report. We expect we'll be able to get it
> fixed for release. However, there's reluctance to broaden the scope
> of the criteria because our inf
On Tue, 2022-09-13 at 07:08 -0700, Scott Beamer wrote:
> On 9/13/22 6:31 AM, Ben Cotton wrote:
> > On Mon, Sep 12, 2022 at 3:35 PM Adam Williamson
> > wrote:
> > > === GNOME extensions ===
> > >
> > > On Fedora Workstation, it must be possible to install and remove
> > > extensions by visiting ht
On Mon, Sep 12, 2022, at 3:35 PM, Adam Williamson wrote:
> Hey folks!
>
> So a bug came up at today's blocker review meeting:
> https://bugzilla.redhat.com/show_bug.cgi?id=2106868
>
> it takes a minute to parse, but the tl;dr is that right now in Fedora
> 37, you can't go to https://extensions.gn
On 9/13/22 6:31 AM, Ben Cotton wrote:
On Mon, Sep 12, 2022 at 3:35 PM Adam Williamson
wrote:
=== GNOME extensions ===
On Fedora Workstation, it must be possible to install and remove
extensions by visiting https://extensions.gnome.org in the default web
browser, after installing the required
On 9/12/22 3:41 PM, Kevin Fenzi wrote:
On Mon, Sep 12, 2022 at 03:11:43PM -0700, Scott Beamer wrote:
One thing I should mention, I checked and only 14 of the 37 extensions that
can be installed from the Fedora repos are compatible with GNOME 43. So if
Fedora 37 shipped today, I know of 23 pac
On Mon, Sep 12, 2022 at 3:35 PM Adam Williamson
wrote:
>
> === GNOME extensions ===
>
> On Fedora Workstation, it must be possible to install and remove
> extensions by visiting https://extensions.gnome.org in the default web
> browser, after installing the required browser extension.
>
> #
>
On Mon, Sep 12, 2022 at 03:11:43PM -0700, Scott Beamer wrote:
>
> One thing I should mention, I checked and only 14 of the 37 extensions that
> can be installed from the Fedora repos are compatible with GNOME 43. So if
> Fedora 37 shipped today, I know of 23 packages that would be broken from th
On 9/12/22 2:44 PM, Adam Williamson wrote:
On Mon, 2022-09-12 at 14:39 -0700, Scott Beamer wrote:
On 9/12/22 12:35 PM, Adam Williamson wrote:
Hey folks!
So a bug came up at today's blocker review meeting:
https://bugzilla.redhat.com/show_bug.cgi?id=2106868
it takes a minute to parse, but the
On Mon, 2022-09-12 at 14:39 -0700, Scott Beamer wrote:
> On 9/12/22 12:35 PM, Adam Williamson wrote:
> > Hey folks!
> >
> > So a bug came up at today's blocker review meeting:
> > https://bugzilla.redhat.com/show_bug.cgi?id=2106868
> >
> > it takes a minute to parse, but the tl;dr is that right n
On 9/12/22 12:35 PM, Adam Williamson wrote:
Hey folks!
So a bug came up at today's blocker review meeting:
https://bugzilla.redhat.com/show_bug.cgi?id=2106868
it takes a minute to parse, but the tl;dr is that right now in Fedora
37, you can't go tohttps://extensions.gnome.org and install
exten
On 9/12/22 1:12 PM, Tommy Nguyen wrote:
On Mon, 2022-09-12 at 12:35 -0700, Adam Williamson wrote:
Hey folks!
So a bug came up at today's blocker review meeting:
https://bugzilla.redhat.com/show_bug.cgi?id=2106868
If I may offer my opinion as a layperson/end-user... that name change
seems con
On Mon, 2022-09-12 at 12:35 -0700, Adam Williamson wrote:
> Hey folks!
>
> So a bug came up at today's blocker review meeting:
> https://bugzilla.redhat.com/show_bug.cgi?id=2106868
>
If I may offer my opinion as a layperson/end-user... that name change
seems confusing and a "backwards-incompatib
On 9/12/22 3:35 PM, Adam Williamson wrote:
We have a handful of extensions packaged, though I'm not sure how well
they're kept up to date. Aside from those, I don't know of any other
really practical way for regular users to install extensions besides
https://extensions.gnome.org . Is there on
On Mon, Sep 12, 2022 at 3:35 PM Adam Williamson
wrote:
>
> Hey folks!
>
> So a bug came up at today's blocker review meeting:
> https://bugzilla.redhat.com/show_bug.cgi?id=2106868
>
> it takes a minute to parse, but the tl;dr is that right now in Fedora
> 37, you can't go to https://extensions.gno
Hey folks!
So a bug came up at today's blocker review meeting:
https://bugzilla.redhat.com/show_bug.cgi?id=2106868
it takes a minute to parse, but the tl;dr is that right now in Fedora
37, you can't go to https://extensions.gnome.org and install
extensions.
We agreed that it doesn't violate any
16 matches
Mail list logo