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

Commits
  • Rm redundancy: `push` already runs on every `pull`
    mishig25 committed 4 years ago
Loading