Improve GitHub automation quality and efficiency (#863)