Minor changes in blasec.py to test emacs push with magit