checkstyle / contribution

some useful sources that should not stay in main repo but it is good to host them

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove -PublishXdocWithPush and -PublishXdoc command

Rahulkhinchi03 opened this issue · comments

Child issue of checkstyle/checkstyle#11782

-PublishXdocWithPush doesn't give the expected output. Mentors concluded to use a shell command to commit and push.

fix was merged