tech-pkg archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Github versions

On 2020-05-19 12:34, Roland Illig wrote:
On 19.05.2020 16:35, Jason Bacon wrote:

I'd like to propose some additions to the developer's guide regarding
Github repos:

Sounds great to me, I like the clear instructions that also reveal the
general rules to follow.

While there, you could also fix the indentation of the #GITHUB_PROJECT=
Is there a standard pre-commit procedure for changes to the guide besides just running [b]make and inspecting the output?



Home | Main Index | Thread Index | Old Index