Useful development tooling

This page lists some software we consider useful.

Browser plugins

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

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/main
If there are conflicts, resolve them
Reset index to upstream/main: git reset upstream/main
Review the changes and create a new commit using git gui: git gui
Do a force push: git push -f origin

(As Administrator - one time)

Install chocolatey
choco install git.install -y --params "/GitAndUnixToolsOnPath /WindowsTerminal"
choco install notepadplusplus
If you want to have your JDK also managed via chocolatey: choco install temurin

Then, each weak do choco upgrade all to ensure all tooling is kept updated.

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

choco install conemu clink
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