Am 18.04.19 um 13:28 schrieb [email protected]: > This now means we have to restore > the repo in raw format, as you can't just apply 2 unrelated states > of a repo.
You can simply force-push, if allowed. The one commit is not worth any effort as it can be re-applied easily. -- Regards Hartmut Goebel | Hartmut Goebel | [email protected] | | www.crazy-compilers.com | compilers which you thought are impossible | _______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
