[GitHub] [spark-website] bjornjorgensen commented on a diff in pull request #442: Remove Jenkins from dev-tools page

bjornjorgensen commented on code in PR #442: URL: https://github.com/apache/spark-website/pull/442#discussion_r1117954171 ## developer-tools.md: ## @@ -274,17 +262,6 @@ A binary incompatibility reported by MiMa might look like the following: [error] filter with: ProblemFilter

[GitHub] [spark-website] bjornjorgensen commented on a diff in pull request #442: Remove Jenkins from dev-tools page

bjornjorgensen commented on code in PR #442: URL: https://github.com/apache/spark-website/pull/442#discussion_r1117954019 ## contributing.md: ## @@ -387,21 +387,6 @@ will trigger workflows "On pull request*" (on Spark repo) that will look/watch f 1. The related JIRA, if any, w