On Mon, 21 Sep 2020 12:14:32 -0400
Ian Denhardt <[email protected]> wrote:

> Hi,
> 
> I recently went looking for a package for [entr][1], didn't find one,
> and so put together a PKGBUILD myself. When I went to submit it I found
> the git repo already exists; if you do:
> 
>     git clone ssh://[email protected]/entr
> 
> You get a non-empty repo that was last updated sometime in 2018, and
> packages version 4.1 of the software. I can't push to the repo since it
> already exists and I am not the maintainer, but there is no
> corresponding package available via the web interface:
> 
>     https://aur.archlinux.org/packages/entr
> 
> I am not sure what to make of this. Any insights?
> 
> -Ian
> 
> [1]: http://eradman.com/entrproject/

Yeah, that means that it's been deleted. The underlying git repos don't get
deleted. You can generally just update and push and it'll be back, but you
can't in this case because it was deleted when it was moved to Community.

Scimmia

Reply via email to