Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: make.jl: minor fix - update "Edit on GitHub" redirect
The "Edit on GitHub" button by default points to the `master` branch. Make it directly point to the `main` branch instead. Note: Only a minor cleanup fix since GitHub redirects to the default branch if specified branch doesn't exist. Signed-off-by: Anant Thazhemadam <[email protected]>
- Loading branch information