RELEASED: Public: 2013-08-09 New features Updated Credentials integration for Git push; now can use generic username/password credentials. Not yet attempting to restrict credentials by domain, or pick up user-only credentials. Resolved issues None Known issues None