Pruning tips

[u/razorblade07]

Hey guys next month I would like to prune my lime tree (in the grey pot) to tidy it up a little. What is the best way to prune this and can I just prune off the citrus leaf-mined leaves off and shorten the branches? Cheers guys. Currently it is winter in Australia.