[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [GNUnet-developers] .dir-local.el for all/most repos

From: Hartmut Goebel
Subject: Re: [GNUnet-developers] .dir-local.el for all/most repos
Date: Thu, 18 Apr 2019 14:35:27 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1

Am 18.04.19 um 13:28 schrieb address@hidden:
> 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.

Hartmut Goebel

| Hartmut Goebel          | address@hidden               |
| | compilers which you thought are impossible |

reply via email to

[Prev in Thread] Current Thread [Next in Thread]