[WIP] Happy days git integration wp3#12773

Closed

11raphael wants to merge 97 commits intoJabRef:mainfrom

11raphael:Happy-Days-Git-Integration-WP3

Commits on Feb 26, 2025

added methods to and boolean to see if file is under version control and to pull latest changes if so
RapidShotzz
committed
Add CheckForVersionControlAction
11raphael
committed
Added unit tests for - CheckForVersionControlAction
Ary006
committed

Commits on Feb 27, 2025

Added unit tests for - CheckForVersionControlAction
Ary006
committed
added functionality for tagging as versioned and pulling only if preference exists
RapidShotzz
committed
moved test file and amended shouldAutoPull method to test.org.jabref.gui.importer.actions
RapidShotzz
committed

Commits on Mar 1, 2025

Commits on Mar 3, 2025

Commits on Mar 4, 2025

removed duplicate boolean
RapidShotzz
committed

Commits on Mar 5, 2025

Cleaned up UI - "Auto push" Combo Box no longer is in all Caps
SihasA
committed

Commits on Mar 6, 2025

Added "Git" submenu with "Git Pull" and "Git Push" options
Ary006
committed

Commits on Mar 9, 2025

Commits on Mar 10, 2025

Commits on Mar 13, 2025

Commits on Mar 17, 2025

Commits on Mar 19, 2025

Commits on Mar 21, 2025

Commits on Mar 25, 2025

Merge branch 'main' into Happy-Days-Git-Integration-WP3
koppor
authored