hub-docs
Rm redundancy: `push` already runs on every `pull`
#103

Merged

Rm redundancy: `push` already runs on every `pull` #103

mishig25 merged 1 commit into main from js_interfaces_clean

Rm redundancy: `push` already runs on every `pull`

04996659

mishig25 requested a review from

julien-c 4 years ago

julien-c approved these changes on 2022-04-15

mishig25 merged f316d4ae into main 4 years ago

mishig25 deleted the js_interfaces_clean branch 4 years ago

Reviewers

julien-c

Assignees

No one assigned

Labels

None yet

Milestone

No milestone