Skip to content

Website clean - #120

Open
mdouze wants to merge 100 commits into
websitefrom
website_clean
Open

Website clean#120
mdouze wants to merge 100 commits into
websitefrom
website_clean

Conversation

@mdouze

@mdouze mdouze commented Jun 8, 2023

Copy link
Copy Markdown
Collaborator

propose to remove not necessary files

@harsha-simhadri

Copy link
Copy Markdown
Owner

the website branch is rendered by github. So we should merge into website branch

@harsha-simhadri
harsha-simhadri changed the base branch from main to website June 14, 2023 16:53
@maumueller
maumueller self-requested a review June 14, 2023 18:41
@maumueller

Copy link
Copy Markdown
Collaborator

Seems good to me, but do we want to keep the results/ folder? This will probably get out-of-sync with main?

@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:13 — with GitHub Pages Inactive
@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:28 — with GitHub Pages Inactive
@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:35 — with GitHub Pages Inactive
@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:37 — with GitHub Pages Inactive
@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:40 — with GitHub Pages Inactive
@harsha-simhadri
harsha-simhadri temporarily deployed to github-pages June 22, 2023 18:41 — with GitHub Pages Inactive
carlosgauci and others added 2 commits December 7, 2023 14:56
Co-authored-by: Harsha Vardhan Simhadri <harsha-simhadri@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants