RyanSkraba commented on code in PR #2172:
URL: https://github.com/apache/avro/pull/2172#discussion_r1173925257
##########
doc/.gitignore:
##########
@@ -1,4 +1,4 @@
-public/
+#public/
Review Comment:
Haha, this is very likely not the right thing to do !! There are 1959 files
changed in this PR :D
Would it be possible to remove `/public` and push this wihtout the generated
files?
##########
.gitmodules:
##########
@@ -1,3 +1,6 @@
[submodule "doc/themes/docsy"]
path = doc/themes/docsy
- url = https://github.com/google/docsy
+ url = https://github.com/nishchaldv/docsy
Review Comment:
Are there changes that need to be hosted on your fork, or is this just for
testing?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
