Dissolve gerrit-openid top-level directory

Change-Id: I77ca368797794d9045b4a9421011c9c7cb3ac57c
This commit is contained in:
David Ostrovsky
2017-08-23 08:44:07 +02:00
committed by Dave Borowitz
parent a84dbc81bf
commit 84a733969c
18 changed files with 14 additions and 5 deletions

View File

@@ -0,0 +1,8 @@
filegroup(
name = "openid",
srcs = glob(
["**/*"],
exclude = ["BUILD"],
),
visibility = ["//visibility:public"],
)

File diff suppressed because one or more lines are too long

View File

@@ -0,0 +1,16 @@
<html>
<head>
<title>Gerrit Code Review - Redirecting ...</title>
</head>
<body>
<div>Redirecting ...</div>
<form method="POST" action="#" id="redirect_form">
<input type="submit" value="Continue" />
</form>
<script type="text/javascript" language="javascript">
var r = document.getElementById('redirect_form');
r.style.display = 'none';
r.submit();
</script>
</body>
</html>