Hi, I am cleaning my github and want to remove some repos. One of them is meta-gumstix-community - it is not maintained any more. This layer is listed in layer-index. Will it be removed automatically or are there steps I have to take? Thanks Andreas