This is a patch of lawn in our back garden, it’s the worst patch. How would be the best way of repairing it? I thought topsoil & grass seed? Is there anything else? Do I need to rake it? Any advice much appreciated!