syntaqxA new repository's first push closes the issues its commits name: on flagon-io/demo the session pushed the first version with Closes #1, and #1 stayed open, so the session closed it by hand. repos' pushed lists the commits a push brought in only when the branch existed before, since a new branch's commits were pushed elsewhere first; but the push that makes the default branch is the repository's first, and nothing was pushed before it. PushedArgs has first, which work sets for a push to the default branch with no before, and their messages count then. The pull requests guide says so under Closing issues. Checked: cargo test -p g1t-repos pushed (9, one new), cargo test -p g1t-work pushed (6).9319d68History
- ..
- 0001_init.sql
- 0002_dependencies.sql
- 0003_repo_deleted.sql
- 0004_repo_archived.sql
- 0005_description_inherits.sql
- 0006_workspace_deleted.sql
- 0007_deploys.sql
- 0008_pins.sql
- 0009_activity.sql
- 0010_kind_and_links.sql
- 0011_drop_dependencies.sql
- 0012_production_image.sql
- 0013_reports_production.sql
- 0014_descriptions_are_projects.sql
- 0015_drop_repo_description.sql
- 0016_sweeps.sql