added shortcut to determine if dev is merged already