[Dune] [#981] git support for dunecontrol (Attachment added)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#981 - git support for dunecontrol
User who did this - Andreas Lauser (andlaus)

----------
@sven: I think I lost a day's work on point 3 once or twice, but it may be that I screwed it differently. The update hook is a good idea, but to me it seems to be too complicated (if you write a hook, you may also write a bash script which does the job of 'duncontrol update' completely.)

I still don't care about the update feature, but here is a patch (for dune 2.1) which bails out if the current head is not the head of a remote branch or if there are uncommitted changes in the working copy. (strictly speaking, the latter check is not really necessary as git refuses to rebase/pull in that case.)

----------

One or more files have been attached.

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=981#comment2921

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.