public
/
library
10
0
Fork 0
Code Issues Pull Requests 1 Projects Releases Wiki Activity

Fix warnings on startup + add more TODO #1

Open
joss wants to merge 1 commits from silence-warnings into master
pull from: silence-warnings
merge into: public:master
Conversation 0 Commits 1 Files Changed 2 +18 -14
joss commented 2022-10-20 13:56:33 -04:00
Member
Copy Link
  • Updates some of the docs to mention more of the issues in Librarian.
  • Silences warnings when using is with a string literal.
- Updates some of the docs to mention more of the issues in Librarian. - Silences warnings when using `is` with a string literal.
joss added 1 commit 2022-10-20 13:56:34 -04:00
This pull request can be merged automatically.
You are not authorized to merge this pull request.
repo.pulls.merge_instruction_hint

step1

repo.pulls.merge_instruction_step1_desc
git checkout -b silence-warnings master
git pull origin silence-warnings

step2

repo.pulls.merge_instruction_step2_desc
git checkout master
git merge --no-ff silence-warnings
git push origin master
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
  
BUG

   
Feature

   
High Priority

   
Low Priority

   
Medium Priority
No Label
BUG
Feature
High Priority
Low Priority
Medium Priority
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: public/library#1
No description provided.
Delete Branch "silence-warnings"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?