<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 16, 2015 at 11:35 AM, Maxime Gauduin <span dir="ltr"><<a href="mailto:alucryd@archlinux.org" target="_blank">alucryd@archlinux.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><div><div><br><div class="gmail_quote">On Wed, Sep 16, 2015 at 11:24 AM, Levente Polyak <span dir="ltr"><<a href="mailto:anthraxx@archlinux.org" target="_blank">anthraxx@archlinux.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div>On 09/15/2015 09:27 PM, <a href="mailto:notify@aur.archlinux.org" target="_blank">notify@aur.archlinux.org</a> wrote:<br>
> SanskritFritz [1] filed a deletion request for fish-git [2]:<br>
><br>
> Gitorius is gone, this package is deprecated anyway long time.<br>
><br>
> [1] <a href="https://aur.archlinux.org/account/SanskritFritz/" rel="noreferrer" target="_blank">https://aur.archlinux.org/account/SanskritFritz/</a><br>
> [2] <a href="https://aur.archlinux.org/pkgbase/fish-git/" rel="noreferrer" target="_blank">https://aur.archlinux.org/pkgbase/fish-git/</a><br>
><br>
<br>
</div></div>Wouldn't it make more sense to keep fish-git and merge figh-shell-git<br>
into the first one? The official fish package in the community<br>
repository is named 'fish', it sounds more appropriate to have a<br>
matching name for the VCS package.<br>
<br>
</blockquote></div></div></div>Indeed, as long as the package in [community] is called fish, its git counterpart in AUR must be called fish-git. There is very little chance that, in the future, anything other than this shell will be called fish anyway, I believe it is fine to keep fish{,-git} as package name rather than changing it to fish-shell{,-git}.<br></div></div></blockquote></div><br><div>Yes, that is why I requested a delete, so that we can rename fish-shell-git into fish-git.<br></div>Should I request for a merge now?<br><br></div></div>