On Mon, 01 Jun 2015 at 00:48:23, Gordian Edenhofer wrote:
[...] Having a dummy file in the git repo and the true file for the checksum is somewhat odd. Using SKIP is also not a true alternative IMHO.
True. Missing source files are somewhat odd, too, though. You could argue that pretending to have those files is even more odd, but as you already mentioned, only a very small number of packages is affected. The benefit of reducing the number of forgotten files in all other packages is likely to be much higher than the advantage of not having to use dummy files.
[...] This kind of check would see files which are named e.g. lp:foo as not missing even if they are.
Sure, we only check local files and lp:foo is a remote file. Checking remote sources is something that we cannot do properly.