Public

Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

Repository Settings

frogeyedpeas/metamath-website-seed

Webhooks

Webhooks allow external services to be notified when certain events happen in your repository.

Payload URL

Secret Token

Used to validate webhook payloads for security.

Event Triggers

Push

Any Git push to the repository

Pull Request

Pull request opened, closed, or synchronized

Issues

Issue opened, edited, closed, etc.

Commit Comment

Commit or diff commented on

Code Scan

Code scanning alerts