way overdue sync of local changes to github master