[Dune-devel] [Dune-Bugs] [#1300] Fix lists of ignored files in Git repositories

Oliver Sander sander at igpm.rwth-aachen.de
Fri Jul 5 07:18:13 CEST 2013


True, thanks.
--
Oliver

Am 04.07.2013 15:14, schrieb Dune:
> THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.
>
> The following task has a new comment added:
>
> FS#1300 - Fix lists of ignored files in Git repositories
> User who did this - Steffen Müthing (smuething)
>
> ----------
> The branches have long been gone from the server (I checked again and they don't show up in the repo browser). You probably still have the stale tracking branches lying around; try git fetch --prune
> to get rid of those. If you have created local tracking branches, I think you will have to delete those by hand (not sure whether git has an option to delete those as well, and even then it will only
> work if it has recorded the tracking information).
> ----------
>
> More information can be found at the following URL:
> http://www.dune-project.org/flyspray/index.php?do=details&task_id=1300#comment4893
>
> 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.
>
> _______________________________________________
> Dune-Bugs mailing list
> Dune-Bugs at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-bugs





More information about the Dune-devel mailing list