This page lists some software we consider useful.
​Refined GitHub - GitHub on steroids
​GitHub Issue Link Status - proper coloring of linked issues and PRs.
​Codecov Browser Extension - displaying code coverage directly when browsing GitHub
​Sourcegraph Browser Extension - Navigate through source on github
Here, we collect some helpful git hints
awesome hints and tools regarding git: https://github.com/dictcp/awesome-git​
Precondition: JabRef/jabref
is configured as upstream.
Fetch recent commits and prune non-existing branches: git fetch upstream --prune
Merge recent commits: git merge upstream/master
If there are conflicts, resolve them
Reset index to upstream/master: git reset upstream/master
Review the changes and create a new commit using git gui: git gui&
Do a force push: git push -f origin
See also: https://help.github.com/articles/syncing-a-fork/​
(As Administrator - one time)
Install chocolatey​
choco install git
choco install conemu clink
choco install notepadplusplus
If you want to have your jdk also managed via chocolatey: choco install jdk8
Then, each weak do choco upgrade all
to ensure all tooling is uptodate.
Use git for windows, no additional git tooling required
​Git Credential Manager for Windows is included. Ensure that you include that in the installation. Aim: Store password for GitHub permanently for https repository locations
​Use notepad++ as editor for git rebase -i
​ConEmu -> Preview Version - Aim: Colorful console with tabs
At first start:
"Choose your startup task ...": `{Bash::Git bash}}
OK
Upper right corner: "Settings..." (third entrry Eintrag)
Startup/Tasks: Choose task no. 7 ("Bash::Git bash"). At "Task parameters" /dir C:\git-repositories\jabref\jabref
Save Settings
​clink - Aim: Unix keys (Alt+B, Ctrl+S, etc.) also available at the prompt of cmd.exe
​Cmder - bundles ConEmu plus clink
Validate XMP: https://www.pdflib.com/pdf-knowledge-base/xmp/free-xmp-validator/​
​AutoHotkey - Preparation for the next step
​https://github.com/koppor/autohotkey-scripts - Aim: Have Win+C opening ConEmu
Clone the repository locally.
Then link ConEmu.ahk
and WindowsExplorer.ahk
at the startup menu (Link creation works with drag'n'drop using the right mouse key and then choosing "Create link" when dropping). Hint: Startup is in the folder Startup
(German: Autostart
) at %APPDATA%\Microsoft\Windows\Start Menu\Programs\
- accessible via Win+r
: shell:startup