> > It's pretty hard to do filtering of GitHub mail...
I can't disagree with that. On Wed, Jun 16, 2021 at 4:35 PM Neal Gompa <ngomp...@gmail.com> wrote: > Well, let's see if that works. Another concern I have is about > filtering stuff from discussions in Gmail. It's pretty hard to do > filtering of GitHub mail... > > On Wed, Jun 16, 2021 at 4:29 PM David Davis <davidda...@redhat.com> wrote: > > > > If you watch the repo, you should be able to get notifications when > there's new activity? > > > > David > > > > > > On Wed, Jun 16, 2021 at 3:13 PM Neal Gompa <ngomp...@gmail.com> wrote: > >> > >> On Wed, Jun 16, 2021 at 11:59 AM David Davis <davidda...@redhat.com> > wrote: > >> > > >> > Yesterday at open floor, we discussed decommissioning pulp-dev list > in favor of of using Github Discussions[0] for developer discussions. > >> > > >> > If there are no objections, I plan to decommission the pulp-dev list > next week. > >> > > >> > [0] https://github.com/pulp/community/discussions > >> > > >> > >> I don't know how I'd be able to keep track of what's going on with > >> GitHub Discussions. With mailing list discussions, it's relatively > >> easy for me to see the topics as they're coming in and participate off > >> the cuff. With GitHub Discussions, it doesn't seem possible for me to > >> do that. > >> > >> > >> > >> -- > >> 真実はいつも一つ!/ Always, there's only one truth! > >> > > > -- > 真実はいつも一つ!/ Always, there's only one truth! > > > _______________________________________________ > Pulp-dev mailing list > pulp-...@redhat.com > https://listman.redhat.com/mailman/listinfo/pulp-dev >
_______________________________________________ Pulp-list mailing list Pulp-list@redhat.com https://listman.redhat.com/mailman/listinfo/pulp-list