2021-05-07

I'm tired of manually auto pulling and auto pushing. I think [[auto push]] and [[auto pull]] need to happen.