Conversation
harshil21 changed the base branch from master to doc-fixes
January 2, 2023 20:40harshil21 changed the base branch from doc-fixes to master
January 2, 2023 20:42Member
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also a nice idea! TBH I guess the use case is not overly big, but neither is the effort ๐
Member
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the updates! As said above, even if the advantage may not be huge, I see no downsides of this change. I'll give the others a chance to chime in if they see the need and merge on thursday evening otherwise :)