I am now using .gitignore, it works. I don't know whether
git.devuan.org website allows registered users to delete files by
actually interacting with the website rather than using CLI git
commands. That would be a far simpler task than having to learn using
git for I task that most probably I wouldn't use again.

Edward

On 20/09/2015, aitor_czr <aitor_czr@???> wrote:
> Hi Edward,
>
> I don't undestand your question. There is no problem doing those changes.
> Using 'quilt' there is a restriction: you can't add binaries to the
> upstream branch...
>
> Aitor.
>
> On 20/09/15 20:25, aitor_czr wrote:
>> Sorry, again a Digest in the Subject.
>>
>> On 20/09/15 20:21, aitor_czr wrote:
>>> Commit your changes doing:
>>>
>>> $ git add .
>>> $ git commit --all
>>>
>>> After that, push the branch. You can use tags as backups, but keep in
>>> mind that when you extract a tag you will get a
>>> disconnected HEAD. So, you will have to create a branch after that.
>>> Otherwise, you will lose all your changes.
>>>
>>> Aitor.
>>>
>>> On 20/09/15 00:09, Edward Bartolo <edbarx@???> wrote:
>>>> Hi,
>>>>
>>>> I added two useless files to netman that I want to remove: these are
>>>> netman.lpi and netman.lps.
>>>>

>>>> What should I do? git is rejecting my changes like this:
>>>> $ git pull
>>>> error: Your local changes to the following files would be overwritten by
>>>> merge:
>>>>     netman.lpi
>>>>     netman.lps
>>>> Please, commit your changes or stash them before you can merge.
>>>> Aborting

>
>