Rene Pfeuffer c5520e6b07 Fix error handling on git push ...

Failing git push does not lead to an GitAPIException. Instead we have to
check the dedicated push update results.

By the way this adds a message for the internal repository exception.

2020-01-15 08:49:14 +01:00

..

src

Fix error handling on git push

2020-01-15 08:49:14 +01:00

package.json

Prepare for next development iteration

2019-12-02 15:15:34 +01:00

pom.xml

Prepare for next development iteration

2019-12-02 15:15:34 +01:00

tsconfig.json

added shared tsconfig package

2019-10-21 14:10:48 +02:00