Yes, we had a short DNS outage that caused all the name resolutions to fail.
We are back online now, though the infra team now has some work to do. 2015-05-01 18:09 GMT-07:00 Slide <slide.o....@gmail.com>: > I've had intermittent problems today, but > http://downforeveryoneorjustme.com/jenkins-ci.org says it's up right now. > > On Fri, May 1, 2015 at 4:56 PM Yasmary Hernandez < > yasmary.hernan...@gmail.com> wrote: > >> Trying to install jenkins and having trouble even pulling down the key >> file: https://jenkins-ci.org/debian/jenkins-ci.org.key >> I tried accessing https://jenkins-ci.org/ directly and it doesn't look >> it anything is coming up. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to jenkinsci-users+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-users/d33fa929-ced3-437b-a1eb-344340d13d5d%40googlegroups.com >> <https://groups.google.com/d/msgid/jenkinsci-users/d33fa929-ced3-437b-a1eb-344340d13d5d%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to jenkinsci-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-users/CAPiUgVfdg2oj2Ae-qB19zM%3DL%2B6%3D6UzeeuLHsvqZHYVodZXujbQ%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-users/CAPiUgVfdg2oj2Ae-qB19zM%3DL%2B6%3D6UzeeuLHsvqZHYVodZXujbQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- Kohsuke Kawaguchi -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CAN4CQ4yUMgV3A2vB4qE68CHJhq1%3D8RpaCWdKEsPVKN-aJFib3Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
