Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: 04ae88b5b58312a0de3977314c6d36769d2c2aff
https://github.com/jenkins-infra/jenkins.io/commit/04ae88b5b58312a0de3977314c6d36769d2c2aff
Author: Mark Waite <mark.earl.wa...@gmail.com>
Date: 2022-12-06 (Tue, 06 Dec 2022)
Changed paths:
M content/projects/infrastructure/index.adoc
Log Message:
-----------
[WEBSITE-789] - docs URL changed from master to main (#5766)
https://issues.jenkins.io/browse/WEBSITE-789 reports that the infra
docs repository has been updated from master to main as the name of the
primary branch of the repository.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins.io/push/refs/heads/master/788915-04ae88%40github.com.
