On 2013-10-11 18:31, Marcin Miłkowski wrote: > LOL, that commit was done by mistake: I mistakenly did not include it > with the previous one. Sloppy fingers made me a winner ;)
Or not knowing this useful git feature which lets you extend the latest commit: http://nathanhoad.net/git-amend-your-last-commit Of course this will only work if you have not pushed the commit yet (git will not let you do that unless you use --force, which would create a huge mess, so please, never ever use the --force option when pushing changes). Other random git tricks: * Use gitk to get a graphical view of the latest commits * Use git rebase --interactive to modify your commits that have not been pushed yet Regards Daniel -- http://www.danielnaber.de ------------------------------------------------------------------------------ October Webinars: Code for Performance Free Intel webinars can help you accelerate application performance. Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from the latest Intel processors and coprocessors. See abstracts and register > http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk _______________________________________________ Languagetool-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/languagetool-devel
