Does pulling from Git delete comments in a Web App project?

Questions
, ,
1

Hello,
I have a project in the Typst application with comments on file1.typ

I have modified locally in VSCode the file2.typ that I have Git push. What happens if I git pull in the app? Will the comments be deleted?

More generally: if I modify file1.typ locally and gitpull it, will it delete the comments?

Merci :slight_smile:
fdekerm

2

Hi if git integration works correctly you should be able to merge your comments from both files (usually first you need to commit changes before pulling ), but from my experience typst web app doesn’t always works as expected with git, so you need to try ( maybe try some test repository to see what’s happens )

3

Hey @fdekerm! I’ve updated your post title to better fit our guidelines: How to post in the Questions category

Make sure the title is something you’d ask to a friend. :wink:

If by comments you mean review comments in the web app, no, comments are not automatically deleted under any circumstances, even if you delete the code they point to. If that ever happens to you, please let us know as that would be a bug.

Of course, if you delete the code under a comment, the comment won’t be displayed at that position anymore since the code is gone. That does not mean the comment was deleted: it will still be listed in the “Improve” tab (the pencil icon to the left)!

If by comments you mean // Typst comments, those are only deleted if you delete them in your source code as well.

Let me know if you need further help!

2 Likes