How often do you have to deal with indenting manually? My editor does that for m...

		JshWright on Sept 21, 2021 \| parent \| context \| favorite \| on: What's the deal with tab size (8 spaces) in the Gi... How often do you have to deal with indenting manually? My editor does that for me.