Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Push doc on merge to master #561
Comments
|
@dtchepak I see your point. But let's think about possible scenarios when it might matter:
I tried to think about other scenarios were it might matter, but it was hard to spot those. I presume that if we document the existing functionality, those docs are published immediately. Do you see particular situations when delayed |
|
@zvirja Might be easiest just to give it a try. If we run into any trouble we can adjust or revert back to the previous approach. |
The issue is based on the discussion in #559.
@zvirja
@dtchepak
@zvirja
@dtchepak