SCQL: a formal model and a query language for source control repositories