edit:git.push_and_merge_dev. colored