Skip to content

Path cleanups#1144

Draft
andersk wants to merge 4 commits intozulip:mainfrom
andersk:paths
Draft

Path cleanups#1144
andersk wants to merge 4 commits intozulip:mainfrom
andersk:paths

Conversation

@andersk
Copy link
Copy Markdown
Member

@andersk andersk commented Aug 30, 2021

No description provided.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
Signed-off-by: Anders Kaseorg <anders@zulip.com>
Signed-off-by: Anders Kaseorg <anders@zulip.com>
Signed-off-by: Anders Kaseorg <anders@zulip.com>
@andersk andersk marked this pull request as draft August 31, 2021 02:03
@zulipbot
Copy link
Copy Markdown
Member

Heads up @andersk, we just merged some commits that conflict with the changes your made in this pull request! You can review this repository's recent commits to see where the conflicts occur. Please rebase your feature branch against the upstream/main branch and resolve your pull request's merge conflicts accordingly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants