There was a mistaken push to the RTEMS main repository earlier. These things happen so we have rewound the repository back to the latest safe commit.
This is 1425735. If anyone did checkout the repository afterwards they will get an error when trying to update as the repository has been rewound. You can solve this by doing a fresh clone -- something I always recommend Alternatively you can reset your own repository by doing git reset --hard 1425735 While on the master branch -- please keep in mind this will blow away any changes you have in your source tree. Sebastian, I noticed you had two commits pushed after these will need to be re-applied as rewinding back is the safest and best way to handle this. Amar. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel