Closed Nicogene closed 7 months ago
As per title, the gh-pages push will be done only once merged
It skips the push:
As per title, the gh-pages push will be done only once merged