[coreboot] Has the Seabios git server address changed

[Stefan Reinauer]

On 4/21/11 12:53 AM, Bao, Zheng wrote:
> Hi, All,
> Since we can only access the code tree via a firewall, I need to give
> the IP address I need to access  to the administrator. But the seabios
> git server just seems to have changed, hasn't it? Actually I am pretty
> sure it has and I can resolve the IP address. What I am wondering is
> whether it is also a temp address or a long term one. No chance it will
> be changed back, right?

Nothing has changed, it has been like this for quite a while:

git.seabios.org has address 80.81.252.135

When did it last work for you?

Stefan