brep - build2 package repository web interface

Age	Commit message (Collapse)	Author	Files	Lines
2 days	ci-github: Handle forced pushes and branch deletionsHEAD master	Francois Kritzinger	1	-0/+52
	Cancel CI of the previous head commit in the case of overwritten or deleted history. In the process, move branch push handling from handle_check_suite_request() to handle_branch_push() because GitHub sends a push event instead of a check_suite when a new branch is created so tenant reference counting would not work otherwise.
9 days	Support multiple GitHub app instances	Boris Kolpackov	1	-34/+83

9 days	Handle completed check_suite webhook events	Francois Kritzinger	1	-2/+5

9 days	Handle replaced tenants and clean up code/comments	Francois Kritzinger	1	-9/+3

9 days	Ensure all exceptions are handled in build_*() notifications	Boris Kolpackov	1	-3/+5

9 days	Review exceptions thrown by github-ci API functions	Francois Kritzinger	1	-1/+8

9 days	Remote PRs: cancel previous PR head commit CI	Boris Kolpackov	1	-0/+6

9 days	Handle re-runs of single check runs	Francois Kritzinger	1	-7/+37

9 days	Update comments, clean up and fix code	Francois Kritzinger	1	-12/+2

9 days	Implement build_unloaded_pre_check() and build_unloaded_load()	Francois Kritzinger	1	-0/+2

9 days	Handle check suite rebuilds (all checks) on a commit and/or PR	Francois Kritzinger	1	-9/+9

9 days	Handle pull requests	Francois Kritzinger	1	-0/+51

9 days	Handle built notification	Francois Kritzinger	1	-0/+6

9 days	Handle queued, building notifications	Francois Kritzinger	1	-0/+163