[libre-riscv-dev] [Bug 371] code removed by commit 12297566322355ce5fed2e2a5460bea54f69e79e

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=371

--- Comment #3 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
the procedure that should be used is:

* edit and save
* git diff (to check and review the current status of work in progress)
* git commit
* git pull
* git push
* *RELOAD* all editor windows (or use an editor that auto-detects)

the process that you used, we may deduce that it was:

* edit and save
* git pull
* re-save local file WITHOUT CHECKING
* git commit
* git push

can you please:

1) adjust working practices to the first process
2) restore the erased code
3) close this bugreport when done

thanks.

-- 
You are receiving this mail because:
You are on the CC list for the bug.