Ok this time I actually pushed the files. Good lord.