ci: add pre-push hook to prevent direct pushes to main (#33)

* ci: add pre-push hook to prevent direct pushes to main

* ci: grant pull-requests read permission to commitlint job
This commit is contained in:
2026-02-14 00:12:18 -06:00
committed by GitHub
parent 3de4371e05
commit 5f22be6ed2
3 changed files with 15 additions and 1 deletions
+1 -1
View File
@@ -2,7 +2,7 @@ VERSION ?= dev
COMMIT ?= $(shell git rev-parse --short HEAD 2>/dev/null || echo "unknown")
LDFLAGS := -X 'main.version=$(VERSION)' -X 'main.commit=$(COMMIT)'
dev: generate clean
dev: setup generate clean
WEBKIT_DISABLE_DMABUF_RENDERER=1 wails dev -tags webkit2_41 -loglevel Debug -v 2
build-dev: generate