Augmented the retrieval of developer file metrics so that, by default, all possible push events from the GitHub server are analyzed.