Re: [Pulp-list] Github Discussions

2021-06-16 Thread David Davis
One thing that might help is filtering by the repo name (ie pulp/community) since it looks like you can’t filter out notifications for discussions from other GitHub notifications currently unfortunately[0]. [0] https://github.com/github/feedback/discussions/59 On Wednesday, June 16, 2021, Daniel

[Pulp-list] pulp 3.7.3 aarch64 repo

2021-06-16 Thread Bin Li (BLOOMBERG/ 120 PARK)
Tried to download aarch64 repo and got the errors below: "description": "", "traceback": " File \"/opt/utils/venv/pulp/3.7.3/lib64/python3.7/site-packages/rq/worker.py\", line 886, in perform_job\nrv = job.perform()\n File

Re: [Pulp-list] [Pulp-dev] Github Discussions

2021-06-16 Thread Daniel Alley
> > 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 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

Re: [Pulp-list] [Pulp-dev] Github Discussions

2021-06-16 Thread David Davis
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 wrote: > On Wed, Jun 16, 2021 at 11:59 AM David Davis > wrote: > > > > Yesterday at open floor, we discussed decommissioning pulp-dev list in > favor of

Re: [Pulp-list] [Pulp-dev] Github Discussions

2021-06-16 Thread Grant Gainey
There are a few places in the docs where we reference pulp-dev@ , that should be changed as part of/before we pull the plug. contributing/index.rst: * through the developer mailing list (`` pulp-...@redhat.com``) plugins/plugin-writer/concepts/index.rst:maintainers either through the developer

Re: [Pulp-list] [Pulp-dev] Github Discussions

2021-06-16 Thread David Davis
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 David On Thu, Jun 3, 2021