harshil21 ยท GitHub

Conversation

@harshil21

Copy link Copy Markdown

Member

@harshil21

harshil21 changed the base branch from master to doc-fixes

January 2, 2023 20:40

@harshil21

harshil21 changed the base branch from doc-fixes to master

January 2, 2023 20:42

Bibo-Joshi

Copy link Copy Markdown

Member

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 ๐Ÿ™ƒ

Bibo-Joshi

Copy link Copy Markdown

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 :)

@Bibo-Joshi

@Bibo-Joshi

2 participants

@harshil21 @Bibo-Joshi

Read the original on github.com โ†—