Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Source Control Settings #1926

Merged
merged 30 commits into from
Dec 14, 2024

Conversation

austincondiff
Copy link
Collaborator

@austincondiff austincondiff commented Oct 29, 2024

Description

Our source control settings currently do not work. This PR enables many of these settings. Some of these settings use the users git config so we are introducing functionality to get and set based on config keys. As the user types, we want to debounce the set function, so we are also introducing Limiter which has debounce and throttle methods.

Related Issues

Checklist

  • Enable source control
  • Refresh local status automatically
  • Fetch and refresh server status automatically
  • Default branch name
  • Author Name
  • Author Email
  • Prefer to rebase when pulling
  • Show merge commits in per-file log
  • Ignored Files

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

Screen.Recording.2024-10-28.at.10.30.31.PM.mov
Screen.Recording.2024-10-28.at.10.50.04.PM.mov
Screen.Recording.2024-10-28.at.10.58.13.PM.mov
image image image

Copy link
Member

@tom-ludwig tom-ludwig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some improvements are needed before merging.

@austincondiff austincondiff changed the title Enabled Source Control Settings Source Control Settings Dec 2, 2024
Copy link
Collaborator

@thecoolwinter thecoolwinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm partially through my review but I remember we talked about gitignore saving but it seems like it's wiping all whitespace and comments when I save.

Disregard, I somehow managed to not pull changes from the most recent version of this branch 🤦.

Copy link
Collaborator

@thecoolwinter thecoolwinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fetch server status automatically seems to be ignored, I can't quite figure out why but when I have the setting off my git status is still pulled. Maybe I'm minsunderstanding the setting?

Screen.Recording.2024-12-04.at.10.23.22.PM.mov

Copy link
Collaborator

@thecoolwinter thecoolwinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just one thing answering your comment

@thecoolwinter
Copy link
Collaborator

Also looks like the issue I mentioned before was a misunderstanding. The ahead/behind status is available locally after it's been fetched so it was working correctly 👍.

Copy link
Member

@tom-ludwig tom-ludwig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One final note: To ensure our code is as readable as possible, we should aim to name functions and variables clearly enough that comments become unnecessary

@austincondiff austincondiff dismissed FastestMolasses’s stale review December 14, 2024 04:48

Resolved PR issues and got two other approvals.

@austincondiff austincondiff merged commit 148cd24 into CodeEditApp:main Dec 14, 2024
2 checks passed
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.

4 participants