Simple solution: do infra work every few months instead of every few weeks.

		trigvi 57 days ago \| parent \| context \| favorite \| on: GitHub having issues [resolved] Simple solution: do infra work every few months instead of every few weeks.