Re: [aur-general] [PRQ#10789] Merge Request for remarkable-webkit2gtk

> Mikael Blomstrand via aur-general hat am 4. März > 2018 um 02:33 geschrieben: > > I was looking at AurJson the other day. It struck me that it would be a > really nice feature to be able to search for packages by the `provides` tag. > Similarly it would be an

Re: [aur-general] [PRQ#10789] Merge Request for remarkable-webkit2gtk

On Sat, Mar 03, 2018 at 07:30:29PM -0500, Eli Schwartz via aur-general wrote: > On 03/03/2018 07:22 PM, Mikael Blomstrand via aur-general wrote: > > I just made a merge-request for a package I maintain. But I'm curious > > about what this actually means in practice when it's merged. > > > > Will

Re: [aur-general] [PRQ#10789] Merge Request for remarkable-webkit2gtk

On 03/03/2018 07:22 PM, Mikael Blomstrand via aur-general wrote: > I just made a merge-request for a package I maintain. But I'm curious > about what this actually means in practice when it's merged. > > Will current users be notified in some way? Will they be redirected to > the new package? Or

Re: [aur-general] [PRQ#10789] Merge Request for remarkable-webkit2gtk

I just made a merge-request for a package I maintain. But I'm curious about what this actually means in practice when it's merged. Will current users be notified in some way? Will they be redirected to the new package? Or is it just about the votes? If users are not notified, is there a smart