php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Add commit ID to build info #17

Closed adielcristo closed 1 year ago

adielcristo commented 3 years ago

This will help checking whether the build is actually being done with the last commit from the language repo.

For context: After removing the invalid IDs to fix the pt_br build, one of them is still referred to as cause of the issue, even when it doesn't exist anymore (nor in doc/en nor in doc/pt_br). The commit ID can be used to check whether the version being built is the correct one, helping to pinpoint the problem.