HPI-SWA-Bot

BrokenPromise when pulling into unaligned working copy

12

**Author:** @LinqLover **Message:** I was on feature branch feat/x, which I had merged into branch origin/main via the GitHub web interface, and my working copy still contained some changes. What's...

Allow to prune remote-tracking branches during fetch/pull

7

**Author:** @pitwegner **Message:** After deleting a remote branch, it should be deleted locally as well when next pull is performed

Couldn't push squeak sourcecode

5

**Author:** Oluwoye **Message:** Wir haben SqueackCheck installiert und haben die Packages davon zum Projekt zum Verfolgen hinzugefügt. Das lässt sich auch alles ohne Probleme comitten, jedoch schlägt der Push relativ...

git browser deleting external resources

3

**Author:** @NiklasKoehnecke **Message:** the git browser deletes every external resource added to git without asking the user/giving a warning when pulling -> pushing a new commit. This makes handling external...

Adaptive ellipsis for commit headlines in the commit list

3

**Author:** @merlindlh **Message:** Hello, I would like to have a commit history textbox that scales its Text (Name + message) withe the size of the Browser window. Have a nice...