Repository navigation

feature: add repository page hotkey `Ctrl+E/⌘+E` to open in file browser #1487

	name: Format Check
	on:
	push:
	branches: [develop]
	pull_request:
	branches: [develop]
	workflow_dispatch:
	workflow_call:

	jobs:
	format-check:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v6
	with:
	submodules: true

	- name: Set up .NET
	uses: actions/setup-dotnet@v5
	with:
	dotnet-version: 10.0.x

	- name: Run formatting check
	run: dotnet format --verify-no-changes src/SourceGit.csproj