mirror of
https://github.com/godotengine/godot-prs-by-file.git
synced 2025-12-31 21:48:29 +03:00
Deploying to gh-pages from @ godotengine/godot-prs-by-file@3be80247ef 🚀
This commit is contained in:
57
.github/workflows/ci.yml
vendored
Normal file
57
.github/workflows/ci.yml
vendored
Normal file
@@ -0,0 +1,57 @@
|
||||
name: Continuous integration
|
||||
|
||||
on:
|
||||
push:
|
||||
branches: [ master ]
|
||||
schedule:
|
||||
# Run every 15 minutes of every hour, starting at 5 minutes (5m, 20m, 35m, 50m).
|
||||
# The slight offset is there to try and avoid the high load times.
|
||||
- cron: '5/15 * * * *'
|
||||
|
||||
# Make sure jobs cannot overlap (e.g. one from push and one from schedule).
|
||||
concurrency:
|
||||
group: pages-ci
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
build:
|
||||
name: Build and deploy to GitHub Pages
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v3
|
||||
|
||||
- name: Install Node.js 16.x
|
||||
uses: actions/setup-node@v3
|
||||
with:
|
||||
node-version: 16.x
|
||||
cache: 'npm'
|
||||
|
||||
- name: Install dependencies
|
||||
run: npm ci
|
||||
|
||||
- name: Build the static content using npm
|
||||
run: npm run build
|
||||
|
||||
- name: Fetch pull request data
|
||||
run: npm run compose-db
|
||||
env:
|
||||
GRAPHQL_TOKEN: ${{ secrets.GRAPHQL_TOKEN }}
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
- name: Archive production artifacts
|
||||
uses: actions/upload-artifact@v3
|
||||
with:
|
||||
name: web-static
|
||||
path: out
|
||||
|
||||
- name: Deploy to GitHub Pages 🚀
|
||||
uses: JamesIves/github-pages-deploy-action@v4
|
||||
with:
|
||||
branch: gh-pages
|
||||
folder: out
|
||||
# Configure the commit author.
|
||||
git-config-name: 'Godot Organization'
|
||||
git-config-email: '<>'
|
||||
# Don't keep the history.
|
||||
single-commit: true
|
||||
BIN
favicon.png
Normal file
BIN
favicon.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 1.9 KiB |
1
file.svg
Normal file
1
file.svg
Normal file
@@ -0,0 +1 @@
|
||||
<svg height="16" viewBox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="m2 1v14h12v-9h-5v-5zm8 0v4h4z" fill="#e0e0e0" transform="translate(0 -.000017)"/></svg>
|
||||
|
After Width: | Height: | Size: 180 B |
1
filesystem.svg
Normal file
1
filesystem.svg
Normal file
@@ -0,0 +1 @@
|
||||
<svg height="16" viewBox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="m1 1v5h2v8h1 5v1h6v-3h-6v1h-5v-4h5v1h6v-3h-6v1h-5v-2h3v-4h-2l-1-1z" fill="#e0e0e0"/></svg>
|
||||
|
After Width: | Height: | Size: 183 B |
1
folder.svg
Normal file
1
folder.svg
Normal file
@@ -0,0 +1 @@
|
||||
<svg height="16" viewBox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="m2 2a1 1 0 0 0 -1 1v2 6 2a1 1 0 0 0 1 1h12a1 1 0 0 0 1-1v-7a1 1 0 0 0 -1-1h-4a1 1 0 0 1 -1-1v-1a1 1 0 0 0 -1-1z" fill="#e0e0e0"/></svg>
|
||||
|
After Width: | Height: | Size: 228 B |
1
godotengine.godot-docs.data.json
Normal file
1
godotengine.godot-docs.data.json
Normal file
File diff suppressed because one or more lines are too long
1
godotengine.godot.data.json
Normal file
1
godotengine.godot.data.json
Normal file
File diff suppressed because one or more lines are too long
1
hamburger.svg
Normal file
1
hamburger.svg
Normal file
@@ -0,0 +1 @@
|
||||
<svg height="24" viewBox="0 0 24 24" width="24" xmlns="http://www.w3.org/2000/svg"><path d="m4 3c-1.108 0-2 .89201-2 2s.89201 2 2 2h16c1.108 0 2-.89201 2-2s-.89202-2-2-2zm0 6.7773c-1.108 0-2 .94178-2 2.1113s.89201 2.1113 2 2.1113h16c1.108 0 2-.94178 2-2.1113s-.89201-2.1113-2-2.1113zm0 7c-1.108 0-2 .94178-2 2.1113s.89203 2.1113 2 2.1113h16c1.108 0 2-.94178 2-2.1113s-.89203-2.1113-2-2.1113z" fill="#e0e0e0" /></svg>
|
||||
|
After Width: | Height: | Size: 417 B |
24
index.html
Normal file
24
index.html
Normal file
@@ -0,0 +1,24 @@
|
||||
<!DOCTYPE html>
|
||||
<html lang="en">
|
||||
<head>
|
||||
<meta charset="UTF-8">
|
||||
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||||
<link href="https://fonts.googleapis.com/css?family=Roboto:400,500i,700,900&display=swap&subset=latin-ext" rel="stylesheet">
|
||||
<link rel="icon" type="image/png" href="favicon.png">
|
||||
|
||||
<link href="styles/shared/normalize.css" rel="stylesheet">
|
||||
<link href="styles/shared/global.css" rel="stylesheet">
|
||||
|
||||
<script src="scripts/shared/global.js"></script>
|
||||
|
||||
<title>Godot PRs by File</title>
|
||||
<meta name="description" content="Godot Engine PRs grouped by individual source files they affect">
|
||||
<meta name="keywords" content="godot, godot engine, gamedev, project management">
|
||||
|
||||
<script src="scripts/index.js"></script>
|
||||
</head>
|
||||
<body>
|
||||
<entry-component></entry-component>
|
||||
|
||||
</body>
|
||||
</html>
|
||||
1
remove.svg
Normal file
1
remove.svg
Normal file
@@ -0,0 +1 @@
|
||||
<svg height="16" viewBox="0 0 16 16" width="16" xmlns="http://www.w3.org/2000/svg"><path d="m5 1v1h-4v2h14v-2h-4v-1zm-3 4v8a2 2 0 0 0 2 2h8a2 2 0 0 0 2-2v-8zm1 2h2v6h-2zm4 0h2v6h-2zm4 0h2v6h-2z" fill="#e0e0e0"/></svg>
|
||||
|
After Width: | Height: | Size: 218 B |
5232
scripts/index.js
Normal file
5232
scripts/index.js
Normal file
File diff suppressed because it is too large
Load Diff
137
scripts/shared/global.js
Normal file
137
scripts/shared/global.js
Normal file
@@ -0,0 +1,137 @@
|
||||
(function () {
|
||||
'use strict';
|
||||
|
||||
const LOCAL_PREFERENCE_PREFIX = "_godot_prbf";
|
||||
const LOCAL_PREFERENCE_DEFAULTS = {
|
||||
"selectedRepository" : "godotengine/godot",
|
||||
"selectedBranches" : {"godotengine/godot": "master"},
|
||||
};
|
||||
|
||||
// API Interaction
|
||||
const ReportsAPI = {
|
||||
async get(path = '/') {
|
||||
const res = await fetch(`${path}`);
|
||||
if (res.status !== 200) {
|
||||
return null;
|
||||
}
|
||||
|
||||
return await res.json();
|
||||
},
|
||||
|
||||
async getData(repositoryId) {
|
||||
const idBits = repositoryId.split("/");
|
||||
|
||||
return await this.get(`${idBits[0]}.${idBits[1]}.data.json`);
|
||||
},
|
||||
};
|
||||
|
||||
// Content helpers
|
||||
const ReportsFormatter = {
|
||||
formatDate(dateString) {
|
||||
const options = {
|
||||
year: 'numeric', month: 'long', day: 'numeric',
|
||||
};
|
||||
const dateFormatter = new Intl.DateTimeFormat('en-US', options);
|
||||
|
||||
const date = new Date(dateString);
|
||||
return dateFormatter.format(date);
|
||||
},
|
||||
|
||||
formatTimestamp(timeString) {
|
||||
const options = {
|
||||
year: 'numeric', month: 'long', day: 'numeric',
|
||||
hour: 'numeric', hour12: false, minute: 'numeric',
|
||||
timeZone: 'UTC', timeZoneName: 'short',
|
||||
};
|
||||
const dateFormatter = new Intl.DateTimeFormat('en-US', options);
|
||||
|
||||
const date = new Date(timeString);
|
||||
return dateFormatter.format(date);
|
||||
},
|
||||
|
||||
formatTimespan(timeValue, timeUnit) {
|
||||
const options = {
|
||||
style: 'long',
|
||||
};
|
||||
const timeFormatter = new Intl.RelativeTimeFormat('en-US', options);
|
||||
|
||||
return timeFormatter.format(timeValue, timeUnit);
|
||||
},
|
||||
|
||||
getDaysSince(dateString) {
|
||||
const date = new Date(dateString);
|
||||
const msBetween = (new Date()) - date;
|
||||
const days = Math.floor(msBetween / (1000 * 60 * 60 * 24));
|
||||
|
||||
return days;
|
||||
},
|
||||
|
||||
formatDays(days) {
|
||||
return days + " " + (days !== 1 ? "days" : "day");
|
||||
},
|
||||
};
|
||||
|
||||
const ReportsUtils = {
|
||||
createEvent(name, detail = {}) {
|
||||
return new CustomEvent(name, {
|
||||
detail: detail
|
||||
});
|
||||
},
|
||||
|
||||
getHistoryHash() {
|
||||
let rawHash = window.location.hash;
|
||||
if (rawHash !== "") {
|
||||
return rawHash.substr(1);
|
||||
}
|
||||
|
||||
return "";
|
||||
},
|
||||
|
||||
setHistoryHash(hash) {
|
||||
const url = new URL(window.location);
|
||||
url.hash = hash;
|
||||
window.history.pushState({}, "", url);
|
||||
},
|
||||
|
||||
navigateHistoryHash(hash) {
|
||||
this.setHistoryHash(hash);
|
||||
window.location.reload();
|
||||
},
|
||||
|
||||
getLocalPreferences() {
|
||||
// Always fallback on defaults.
|
||||
const localPreferences = { ...LOCAL_PREFERENCE_DEFAULTS };
|
||||
|
||||
for (let key in localPreferences) {
|
||||
const storedValue = localStorage.getItem(`${LOCAL_PREFERENCE_PREFIX}_${key}`);
|
||||
if (storedValue != null) {
|
||||
localPreferences[key] = JSON.parse(storedValue);
|
||||
}
|
||||
}
|
||||
|
||||
return localPreferences;
|
||||
},
|
||||
|
||||
setLocalPreferences(currentPreferences) {
|
||||
for (let key in currentPreferences) {
|
||||
// Only store known properties.
|
||||
if (key in LOCAL_PREFERENCE_DEFAULTS) {
|
||||
localStorage.setItem(`${LOCAL_PREFERENCE_PREFIX}_${key}`, JSON.stringify(currentPreferences[key]));
|
||||
}
|
||||
}
|
||||
},
|
||||
|
||||
resetLocalPreferences() {
|
||||
this.setLocalPreferences(LOCAL_PREFERENCE_DEFAULTS);
|
||||
},
|
||||
};
|
||||
|
||||
const ReportsSingleton = {
|
||||
api: ReportsAPI,
|
||||
format: ReportsFormatter,
|
||||
util: ReportsUtils,
|
||||
};
|
||||
|
||||
window.greports = ReportsSingleton;
|
||||
|
||||
}());
|
||||
55
styles/shared/global.css
Normal file
55
styles/shared/global.css
Normal file
@@ -0,0 +1,55 @@
|
||||
/** Colors and variables **/
|
||||
:root {
|
||||
--g-background-color: #fcfcfa;
|
||||
--g-background-extra-color: #98a5b8;
|
||||
--g-background-extra2-color: #cad3e1;
|
||||
--g-font-color: #121314;
|
||||
--g-font-size: 15px;
|
||||
--g-font-weight: 400;
|
||||
--g-line-height: 20px;
|
||||
|
||||
--link-font-color: #1d6dff;
|
||||
--link-font-color-hover: #1051c9;
|
||||
--link-font-color-inactive: #35496f;
|
||||
|
||||
--dimmed-font-color: #535c5f;
|
||||
--light-font-color: #6b7893;
|
||||
}
|
||||
|
||||
@media (prefers-color-scheme: dark) {
|
||||
:root {
|
||||
--g-background-color: #0d1117;
|
||||
--g-background-extra-color: #515c6c;
|
||||
--g-background-extra2-color: #22252b;
|
||||
--g-font-color: rgba(228, 228, 232, 0.9);
|
||||
|
||||
--link-font-color: #367df7;
|
||||
--link-font-color-hover: #6391ec;
|
||||
--link-font-color-inactive: #abbdcc;
|
||||
|
||||
--dimmed-font-color: #929da0;
|
||||
--light-font-color: #8491ab;
|
||||
}
|
||||
}
|
||||
|
||||
/** General styling **/
|
||||
html {}
|
||||
|
||||
body {
|
||||
background: var(--g-background-color);
|
||||
color: var(--g-font-color);
|
||||
font-family: 'Roboto', sans-serif;
|
||||
font-size: var(--g-font-size);
|
||||
font-weight: var(--g-font-weight);
|
||||
line-height: var(--g-line-height);
|
||||
min-width: 380px;
|
||||
}
|
||||
|
||||
a {
|
||||
color: var(--link-font-color);
|
||||
font-weight: 700;
|
||||
text-decoration: none;
|
||||
}
|
||||
a:hover {
|
||||
color: var(--link-font-color-hover);
|
||||
}
|
||||
349
styles/shared/normalize.css
vendored
Normal file
349
styles/shared/normalize.css
vendored
Normal file
@@ -0,0 +1,349 @@
|
||||
/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
|
||||
|
||||
/* Document
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* 1. Correct the line height in all browsers.
|
||||
* 2. Prevent adjustments of font size after orientation changes in iOS.
|
||||
*/
|
||||
|
||||
html {
|
||||
line-height: 1.15; /* 1 */
|
||||
-webkit-text-size-adjust: 100%; /* 2 */
|
||||
}
|
||||
|
||||
/* Sections
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* Remove the margin in all browsers.
|
||||
*/
|
||||
|
||||
body {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
/**
|
||||
* Render the `main` element consistently in IE.
|
||||
*/
|
||||
|
||||
main {
|
||||
display: block;
|
||||
}
|
||||
|
||||
/**
|
||||
* Correct the font size and margin on `h1` elements within `section` and
|
||||
* `article` contexts in Chrome, Firefox, and Safari.
|
||||
*/
|
||||
|
||||
h1 {
|
||||
font-size: 2em;
|
||||
margin: 0.67em 0;
|
||||
}
|
||||
|
||||
/* Grouping content
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* 1. Add the correct box sizing in Firefox.
|
||||
* 2. Show the overflow in Edge and IE.
|
||||
*/
|
||||
|
||||
hr {
|
||||
box-sizing: content-box; /* 1 */
|
||||
height: 0; /* 1 */
|
||||
overflow: visible; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Correct the inheritance and scaling of font size in all browsers.
|
||||
* 2. Correct the odd `em` font sizing in all browsers.
|
||||
*/
|
||||
|
||||
pre {
|
||||
font-family: monospace, monospace; /* 1 */
|
||||
font-size: 1em; /* 2 */
|
||||
}
|
||||
|
||||
/* Text-level semantics
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* Remove the gray background on active links in IE 10.
|
||||
*/
|
||||
|
||||
a {
|
||||
background-color: transparent;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Remove the bottom border in Chrome 57-
|
||||
* 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
|
||||
*/
|
||||
|
||||
abbr[title] {
|
||||
border-bottom: none; /* 1 */
|
||||
text-decoration: underline; /* 2 */
|
||||
text-decoration: underline dotted; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Add the correct font weight in Chrome, Edge, and Safari.
|
||||
*/
|
||||
|
||||
b,
|
||||
strong {
|
||||
font-weight: bolder;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Correct the inheritance and scaling of font size in all browsers.
|
||||
* 2. Correct the odd `em` font sizing in all browsers.
|
||||
*/
|
||||
|
||||
code,
|
||||
kbd,
|
||||
samp {
|
||||
font-family: monospace, monospace; /* 1 */
|
||||
font-size: 1em; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Add the correct font size in all browsers.
|
||||
*/
|
||||
|
||||
small {
|
||||
font-size: 80%;
|
||||
}
|
||||
|
||||
/**
|
||||
* Prevent `sub` and `sup` elements from affecting the line height in
|
||||
* all browsers.
|
||||
*/
|
||||
|
||||
sub,
|
||||
sup {
|
||||
font-size: 75%;
|
||||
line-height: 0;
|
||||
position: relative;
|
||||
vertical-align: baseline;
|
||||
}
|
||||
|
||||
sub {
|
||||
bottom: -0.25em;
|
||||
}
|
||||
|
||||
sup {
|
||||
top: -0.5em;
|
||||
}
|
||||
|
||||
/* Embedded content
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* Remove the border on images inside links in IE 10.
|
||||
*/
|
||||
|
||||
img {
|
||||
border-style: none;
|
||||
}
|
||||
|
||||
/* Forms
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* 1. Change the font styles in all browsers.
|
||||
* 2. Remove the margin in Firefox and Safari.
|
||||
*/
|
||||
|
||||
button,
|
||||
input,
|
||||
optgroup,
|
||||
select,
|
||||
textarea {
|
||||
font-family: inherit; /* 1 */
|
||||
font-size: 100%; /* 1 */
|
||||
line-height: 1.15; /* 1 */
|
||||
margin: 0; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Show the overflow in IE.
|
||||
* 1. Show the overflow in Edge.
|
||||
*/
|
||||
|
||||
button,
|
||||
input { /* 1 */
|
||||
overflow: visible;
|
||||
}
|
||||
|
||||
/**
|
||||
* Remove the inheritance of text transform in Edge, Firefox, and IE.
|
||||
* 1. Remove the inheritance of text transform in Firefox.
|
||||
*/
|
||||
|
||||
button,
|
||||
select { /* 1 */
|
||||
text-transform: none;
|
||||
}
|
||||
|
||||
/**
|
||||
* Correct the inability to style clickable types in iOS and Safari.
|
||||
*/
|
||||
|
||||
button,
|
||||
[type="button"],
|
||||
[type="reset"],
|
||||
[type="submit"] {
|
||||
-webkit-appearance: button;
|
||||
}
|
||||
|
||||
/**
|
||||
* Remove the inner border and padding in Firefox.
|
||||
*/
|
||||
|
||||
button::-moz-focus-inner,
|
||||
[type="button"]::-moz-focus-inner,
|
||||
[type="reset"]::-moz-focus-inner,
|
||||
[type="submit"]::-moz-focus-inner {
|
||||
border-style: none;
|
||||
padding: 0;
|
||||
}
|
||||
|
||||
/**
|
||||
* Restore the focus styles unset by the previous rule.
|
||||
*/
|
||||
|
||||
button:-moz-focusring,
|
||||
[type="button"]:-moz-focusring,
|
||||
[type="reset"]:-moz-focusring,
|
||||
[type="submit"]:-moz-focusring {
|
||||
outline: 1px dotted ButtonText;
|
||||
}
|
||||
|
||||
/**
|
||||
* Correct the padding in Firefox.
|
||||
*/
|
||||
|
||||
fieldset {
|
||||
padding: 0.35em 0.75em 0.625em;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Correct the text wrapping in Edge and IE.
|
||||
* 2. Correct the color inheritance from `fieldset` elements in IE.
|
||||
* 3. Remove the padding so developers are not caught out when they zero out
|
||||
* `fieldset` elements in all browsers.
|
||||
*/
|
||||
|
||||
legend {
|
||||
box-sizing: border-box; /* 1 */
|
||||
color: inherit; /* 2 */
|
||||
display: table; /* 1 */
|
||||
max-width: 100%; /* 1 */
|
||||
padding: 0; /* 3 */
|
||||
white-space: normal; /* 1 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Add the correct vertical alignment in Chrome, Firefox, and Opera.
|
||||
*/
|
||||
|
||||
progress {
|
||||
vertical-align: baseline;
|
||||
}
|
||||
|
||||
/**
|
||||
* Remove the default vertical scrollbar in IE 10+.
|
||||
*/
|
||||
|
||||
textarea {
|
||||
overflow: auto;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Add the correct box sizing in IE 10.
|
||||
* 2. Remove the padding in IE 10.
|
||||
*/
|
||||
|
||||
[type="checkbox"],
|
||||
[type="radio"] {
|
||||
box-sizing: border-box; /* 1 */
|
||||
padding: 0; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Correct the cursor style of increment and decrement buttons in Chrome.
|
||||
*/
|
||||
|
||||
[type="number"]::-webkit-inner-spin-button,
|
||||
[type="number"]::-webkit-outer-spin-button {
|
||||
height: auto;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Correct the odd appearance in Chrome and Safari.
|
||||
* 2. Correct the outline style in Safari.
|
||||
*/
|
||||
|
||||
[type="search"] {
|
||||
-webkit-appearance: textfield; /* 1 */
|
||||
outline-offset: -2px; /* 2 */
|
||||
}
|
||||
|
||||
/**
|
||||
* Remove the inner padding in Chrome and Safari on macOS.
|
||||
*/
|
||||
|
||||
[type="search"]::-webkit-search-decoration {
|
||||
-webkit-appearance: none;
|
||||
}
|
||||
|
||||
/**
|
||||
* 1. Correct the inability to style clickable types in iOS and Safari.
|
||||
* 2. Change font properties to `inherit` in Safari.
|
||||
*/
|
||||
|
||||
::-webkit-file-upload-button {
|
||||
-webkit-appearance: button; /* 1 */
|
||||
font: inherit; /* 2 */
|
||||
}
|
||||
|
||||
/* Interactive
|
||||
========================================================================== */
|
||||
|
||||
/*
|
||||
* Add the correct display in Edge, IE 10+, and Firefox.
|
||||
*/
|
||||
|
||||
details {
|
||||
display: block;
|
||||
}
|
||||
|
||||
/*
|
||||
* Add the correct display in all browsers.
|
||||
*/
|
||||
|
||||
summary {
|
||||
display: list-item;
|
||||
}
|
||||
|
||||
/* Misc
|
||||
========================================================================== */
|
||||
|
||||
/**
|
||||
* Add the correct display in IE 10+.
|
||||
*/
|
||||
|
||||
template {
|
||||
display: none;
|
||||
}
|
||||
|
||||
/**
|
||||
* Add the correct display in IE 10.
|
||||
*/
|
||||
|
||||
[hidden] {
|
||||
display: none;
|
||||
}
|
||||
Reference in New Issue
Block a user