Hi, I'm not sure if i understood the problem.
1. A dev adds a override to develop a package 2. Another dev pins the package to a commit 3. On update the pinned commit is checked out without warning? or 3. The first dev doesn't recognize the the override? In the first scenario, there should be a warning. In the second, the (first) dev will encounter the same problem and either solve it in his (advanced code) and fix it there, or not encounter the problem at all. Both is fine for me. I think in the second case, no warning is required. Steffen Am 04.06.2015 um 10:53 schrieb Matthias Goldhoorn: > Hi Dev's, > we have a non-consens regarding the behaviour of autobuild. > The Core question is: Should Autoproj warn if a package is locally newer > than the given tag/commit-id > > Please follow the discussion, comment and help us to find a consens: > https://github.com/rock-core/autobuild/pull/23 > > Best, > Matthias > > -- Steffen Planthaber Weltraumrobotik Besuchsadresse der Nebengeschäftstelle: DFKI GmbH Robotics Innovation Center Robert-Hooke-Straße 5 28359 Bremen, Germany Postadresse der Hauptgeschäftsstelle Standort Bremen: DFKI GmbH Robotics Innovation Center Robert-Hooke-Straße 1 28359 Bremen, Germany Tel.: +49 421 178 45-4125 Zentrale: +49 421 178 45-0 Fax: +49 421 178 45-4150 (Faxe bitte namentlich kennzeichnen) E-Mail: [email protected] Weitere Informationen: http://www.dfki.de/robotik ----------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH Firmensitz: Trippstadter Straße 122, D-67663 Kaiserslautern Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313 Sitz der Gesellschaft: Kaiserslautern (HRB 2313) USt-Id.Nr.: DE 148646973 Steuernummer: 19/673/0060/3 ----------------------------------------------------------------------- _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
