brep - build2 package repository web interface

Age	Commit message (Collapse)	Author	Files	Lines
41 hours	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	-18/+113

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

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

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

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

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

9 days	Handle re-runs of single check runs	Francois Kritzinger	1	-6/+108

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

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

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

9 days	Handle built notification	Francois Kritzinger	1	-4/+30

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