Remove directory under /italia

[bfabio]

Hello, the directory created with #3636 should be removed, as it was not vetted by the contacts listed in the readme.md where the new directory was placed.

[dgarijo]

You are right, I have given them until 27/12 to provide an alternate parent folder or I will move them to the root parent folder.

[bfabio]

@dgarijo thank you 🙌 I appreciate your work

I'm thinking of a GitHub workflow / action to check anomalies like those, which can maybe help highlight them right away in the PR. Would that be helpful and would you be willing to include it?

[dgarijo]

It's tricky since in some cases people don't add their github ids, or there are other people doing PRs on behalf of other people. In any case, up to @davidlehn to assess. From my end, it would be great to have some extra help

[bfabio]

The idea is to check just italia/ for now as we know we'll always add the maintainers' usernames in the readme files for each subdirectory, if they're supposed to be managed by a different entity.

I don't expect it to fully replace your valuable review of course, but at least it can be a layer of protection.

If that works out well, owners of other paths might be interested in using the system as well and adapting their readme. We could even come up with a machine readable microformat to specify the username.

Let's do a PoC and see how it goes.

About this directory, maybe the best thing to do here is to revert that commit: they don't need or want a top-level dir and they will provide a new fixed PR to place a different directory under italia/ anyway

[bfabio]

Closing this one as it was resolved by #3805. Thanks @dgarijo