GitHub consistently maintains user-defined tab-width preferences