lean-3.49.1 branch not updating

Stream: general

[Joseph Myers]

This every-two-months problem has reappeared on schedule: the lean-3.49.1 branch of mathlib hasn't been updated since Sunday, someone needs to restart the process that updates that branch. @maintainers

[Bryan Gin-ge Chen]

Thanks, I've re-enabled the workflow!