6 Commits

Author	SHA1	Message	Date
Martin Kleusberg	f926a67dba	dbhub: Add foce push option to push dialog	2017-09-30 14:07:18 +02:00
Martin Kleusberg	08e5f532ce	dbhub: Fix branch list in push dialog ... The JSON format generated by the server has changed.	2017-09-08 14:49:59 +02:00
Martin Kleusberg	4339119377	dbhub: Support pushing to different branches than "master"	2017-09-03 13:20:27 +02:00
Martin Kleusberg	49e6733dac	dbhub: Enforce name and commit message length limits in push dialog ... See issue #1097.	2017-09-01 12:05:45 +02:00
Martin Kleusberg	b51eeccba1	dbhub: Make it clearer what the private/public flag means	2017-08-12 18:48:07 +02:00
Martin Kleusberg	1c7cc24b15	dbhub: Improve push database UI ... This adds a new Push Database dialog which lets you specify the database name, the licence, a commit message, and the visibility of the database.	2017-08-12 14:58:30 +02:00