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.

Sign up for GitHub

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

Jump to bottom

"Pull changes from shared database" should only be activated when connected to a shared DB #393

Closed
koppor opened this issue Jan 31, 2020 · 3 comments
Closed

"Pull changes from shared database" should only be activated when connected to a shared DB #393

koppor opened this issue Jan 31, 2020 · 3 comments
Labels
good first issue

Comments

@koppor
Copy link
Member

koppor commented Jan 31, 2020

I am not connected to a shared DB, so I cannot pull any changes. The button should be disabled.

grafik
@koppor koppor mentioned this issue Feb 20, 2020
Closed
@ThiloteE ThiloteE moved this to Free to take in Good First Issues Oct 14, 2022
@u7229988-Rabie
Copy link

Hi, I am a first-time contributor, can I be assigned to this issue? I am a university student whose assignment requires me to contribute to open-source projects.

@u7631839
Copy link

I think this issue have been fixed by JabRef/jabref/pull/5974 @ThiloteE

@ThiloteE
Copy link
Member

You are right. Thank you @u7631839. Let's close this issue.

@github-project-automation github-project-automation bot moved this from Free to take to Done in Good First Issues Oct 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue
Projects
Good First Issues
Archived in project
Milestone
No milestone
Development

No branches or pull requests
4 participants
@koppor @ThiloteE @u7229988-Rabie @u7631839