I am trying to figure out a way that after my local development branch has been pushed up to GitHub, or