On 1/25/24 8:04 AM, Ruediger Pluem wrote:
>
>
> On 1/24/24 11:31 PM, Rich Bowen wrote:
>> Well, it turns out that in order for this to actually work, we would need to
>> rename README to README.md, so I'm inclined to revert
>> this change unless someone thinks differently.
>
> How about using a symlink? Keep README and create a README.md symlink to it?
> But I am not sure if github handles this correctly.
Tried it in r1915391 and it seems to work. Not sure if there are general
downsides / objections with regards to symlinks in our
repository. But trunk is CTR :-).
Regards
RĂ¼diger