Eclipse IDE: как увеличить текст?

Взгляните на этот скрипт python для событий github. https://github.com/jimzucker/githubutils/blob/master/githubreflog.py

Я создал его, чтобы вытащить события и сделать их доступными для чтения, вы можете подключить его к grep и найдите интересующую вас ветку. Если в истории достаточно истории, вы увидите событие удаления для рассматриваемой ветки, следующая строка будет последним событием push, и это вас интересует.