Bad idea to merge PR at 1:00 am