Difficulties accessing git.embedded.rwth-aachen.de might stem from misconfigured redirects set between different versions. To resolve this, try using one of the links below:

Or return to the current status page of git.embedded.rwth-aachen.de.